Carlo Simon, Jan Mendling. Verification of Forbidden Behavior in EPCs. In Heinrich C. Mayr, Ruth Breu, editors, Modellierung 2006, 22.-24. März 2006, Innsbruck, Tirol, Austria, Proceedings. Volume 82 of LNI, pages 233-242, GI, 2006.
No references recorded for this publication.
No citations of this publication recorded.