Formalization and Verification of Event-driven Process Chains

van der Aalst, Wil M. P.

Eindhoven University of Technology, Eindhoven (1998)
Buch