Andreas Speck, Sören Witt, Sven Feja, Aneta Lotyzc, Elke Pulvermüller. Framework for Business Process Verification. In Witold Abramowicz, editor, Business Information Systems - 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011. Proceedings. Volume 87 of Lecture Notes in Business Information Processing, pages 50-61, Springer, 2011. [doi]
Abstract is missing.