Richard Mrasek, Jutta Mülle, Klemens Böhm, Michael Becker, Christian Allmann. User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes. In Shazia Wasim Sadiq, Pnina Soffer, Hagen Völzer, editors, Business Process Management - 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. Volume 8659 of Lecture Notes in Computer Science, pages 301-316, Springer, 2014. [doi]
Abstract is missing.