Automaton-based comparison of Declare process models

Nicolai Schützenmeier, Martin Käppel, Lars Ackermann, Stefan Jablonski, Sebastian Petter. Automaton-based comparison of Declare process models. Software and Systems Modeling, 22(2):667-685, April 2023. [doi]

Abstract

Abstract is missing.