Formalization and Verification of Event-driven Process Chains

van der Aalst, Wil M. P.

Amsterdam [u.a.] : Elsevier Science (1999)
Journal Article

In: Information & software technology
Volume: 41
Issue: 10
Page(s)/Article-Nr.: 639-650