@article{70511c7236ff48fe8281cbfbcb517f4a,
title = "Preserving correctness during business process model configuration",
author = "\{M. P. van der Aalst\}, Wil and Marlon Dumas and Florian Gottschalk and \{H. M. ter Hofstede\}, Arthur and \{La Rosa\}, Marcello and Jan Mendling",
year = "2010",
month = dec,
day = "1",
language = "English",
volume = "22",
pages = "459 -- 482",
journal = "Formal Aspects of Computing",
issn = "0934-5043",
publisher = "Association for Computing Machinery (ACM)",
number = "3-4",
}