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