Checking Business Process Models for Compliance - Comparing Graph Matching and Temporal Logic.
Business Process Management Workshops. 2018 S. 403 - 415
Erscheinungsjahr: 2018
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-030-11641-5_32
| Geprüft | Bibliothek |
Autoren
M. Riehle, Dennis (Autor)
