User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2014 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-319-10171-2 ISSN: 0302-9743 KITopen-ID: 1000045889 |
| Erschienen in | Business Process Management - 12th International Conference (BPM'14), Haifa, Israel, September 7-11, 2014. Ed.: S. Sadiq |
| Verlag | Springer US |
| Seiten | 301-316 |
| Serie | Lecture Notes in Computer Science ; 8659 |
| Nachgewiesen in | Dimensions |