Correction: Automaton-based comparison of Declare process models

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

Abstract

Abstract is missing.