Detection of Declarative Process Constraints in LTL Formulas.

Nicolai Schtzenmeier, Martin Kppel, Sebastian Petter, Stefan Schnig, Stefan Jablonski

Browse the full CaiSE paper archive.