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]
@inproceedings{SchutzenmeierKP19,
title = {Detection of Declarative Process Constraints in LTL Formulas},
author = {Nicolai Schützenmeier and Martin Käppel and Sebastian Petter and Stefan Schönig and Stefan Jablonski},
year = {2019},
doi = {10.1007/978-3-030-35646-0_10},
url = {https://doi.org/10.1007/978-3-030-35646-0_10},
researchr = {https://researchr.org/publication/SchutzenmeierKP19},
cites = {0},
citedby = {0},
pages = {131-145},
booktitle = {Enterprise and Organizational Modeling and Simulation - 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Selected Papers},
editor = {Robert Pergl and Eduard Babkin and Russell Lock and Pavel Malyzhenkov and Vojtech Merunka},
volume = {366},
series = {Lecture Notes in Business Information Processing},
publisher = {Springer},
isbn = {978-3-030-35646-0},
}