Publications "Käppel, Martin"
Jump to: Article in a journal Number of items: 2. Article in a journal
Schützenmeier, Nicolai ; Käppel, Martin ; Ackermann, Lars ; Jablonski, Stefan ; Petter, Sebastian:
Automaton-based comparison of Declare process models. In: Software and Systems Modeling. Vol. 22 (2023) . - pp. 667-685. ISSN 1619-1374 DOI der Verlagsversion: https://doi.org/10.1007/s10270-022-01069-y
Käppel, Martin ; Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Language-independent look-ahead for checking multi-perspective declarative process models. In: Software and Systems Modeling. Vol. 20 (9 January 2021) . - pp. 1379-1401. ISSN 1619-1374 DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00857-8 |