Stolz, Manuela Claudia (2010). Verification of Workflow Control-Flow Patterns with the SPIN Model Checker (Arbeitsbericht 237). Institut für Wirtschaftsinformatik, Universität Bern
