Verifying Workflow Processes: A Transformation-Based Approach

Zha, H.; van der Aalst, Wil M. P.; Wang, J.; Wen, L.; Sun, J.

Berlin : Springer (2011)
Fachzeitschriftenartikel

In: Software and systems modeling
Band: 10
Heft: 2
Seite(n)/Artikel-Nr.: 253-264

Einrichtungen

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