Correctness-preserving configuration of business process models (2008)

by W M P van der Aalst, M Dumas, F Gottschalk, A H M ter Hofstede, M L Rosa, J Mendling
Venue:in: Proc. FASE