Checking Business Process Models for Compliance - Comparing Graph Matching and Temporal Logic
Florian Daniel;Quan Z. Sheng;Hamid Motahari (Hrsg). Business Process Management Workshops: BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 403 - 415
Erscheinungsjahr: 2019
ISBN/ISSN: 978-3-030-11640-8
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-030-11641-5_32
| Geprüft | Bibliothek |
