Preserving Correctness During Business Process Model Configuration

van der Aalst, Wil M. P. (Corresponding author); Dumas, Marlon; Gottschalk, Florian; ter Hofstede, Arthur H. M.; La Rosa, Marcello; Mendling, Jan

London : Springer (2010)
Journal Article

In: Formal aspects of computing
Volume: 22
Issue: 3/4
Page(s)/Article-Nr.: 459-482


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