Conference Proceedings

Preserving correctness during business process model configuration

Wil MP van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur HM ter Hofstede, Marcello La Rosa, Jan Mendling

Formal Aspects of Computing | SPRINGER | Published : 2010