List of Publications

Reference (article)

W.M.P. van der Aalst, M. Dumas, F. Gottschalk, A.H.M. ter Hofstede, M. La Rosa, J. Mendling, "Preserving correctness during business model configuration", Formal Aspects of Computing, Vol. 22, No. 3-4, May 2010, pp. 459 -- 482.

BibTeX entry

@ARTICLE{correctnessFACS,
   Author = {W.M.P. van der Aalst and M. Dumas and F. Gottschalk and A.H.M. ter Hofstede and M. La Rosa and J. Mendling},
   Title = {Preserving correctness during business model configuration},
   Journal = {Formal Aspects of Computing},
   Volume = {22},
   Number = {3-4},
   Month = {May},
   Year = {2010},
   Pages = {459 -- 482}
}