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

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 9 (Process and Data Science) [122510]