User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes.

Richard Mrasek, Jutta A. Mlle, Klemens Bhm, Michael Becker, Christian Allmann

Browse the full BPM paper archive.