Formalization and Verification of Event-driven Process Chains

van der Aalst, Wil M. P.

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

In: Information & software technology
Band: 41
Heft: 10
Seite(n)/Artikel-Nr.: 639-650

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]