Nicolai Schützenmeier, Martin Käppel, Sebastian Petter, Stefan Schönig, Stefan Jablonski. Detection of Declarative Process Constraints in LTL Formulas. In Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtech Merunka, editors, Enterprise and Organizational Modeling and Simulation - 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Selected Papers. Volume 366 of Lecture Notes in Business Information Processing, pages 131-145, Springer, 2019. [doi]
Abstract is missing.