Volker Gruhn, Ralf Laue. A Comparison of Soundness Results Obtained by Different Approaches. In Stefanie Rinderle-Ma, Shazia Wasim Sadiq, Frank Leymann, editors, Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers. Volume 43 of Lecture Notes in Business Information Processing, pages 501-512, Springer, 2009. [doi]
Abstract is missing.