A Property-Driven Approach to Formal Verification of Process Models

Publication
Enterprise Information Systems

Related