Verifying Workflow Processes: A Transformation-Based Approach

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

Berlin : Springer (2011)
Journal Article

In: Software and systems modeling
Volume: 10
Issue: 2
Page(s)/Article-Nr.: 253-264

Institutions

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