Search
Now showing items 1-2 of 2
Toward a Verification of Time-Centric Business Process Models
Publisher: IEEE
Year: 2014
Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes
Publisher: IEEE
Year: 2014