Egon Börger, Bernhard Thalheim. A Method for Verifiable and Validatable Business Process Modeling. In Egon Börger, Antonio Cisternino, editors, Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures. Volume 5316 of Lecture Notes in Computer Science, pages 59-115, Springer, 2007. [doi]
Abstract is missing.