User-Friendly Property Specification and Process Verification – a Case Study with Vehicle-Commissioning Processes
-
Author:
Richard Mrasek, Jutta Mülle, Klemens Böhm, Michael, Becker, Christian Allmann
-
Source:
Proceedings of the 12th International Conference on Business Process Management (BPM), Haifa, Israel, September 2014. _