Nicolai Schützenmeier, Martin Käppel, Myriel Fichtner, Stefan Jablonski. Scenario-Based Model Checking of Declarative Process Models. In Joaquim Filipe, Michal Smialek, Alexander Brodsky 0001, Slimane Hammoudi, editors, Proceedings of the 25th International Conference on Enterprise Information Systems, ICEIS 2023, Volume 2, Prague, Czech Republic, April 24-26, 2023. pages 406-417, SCITEPRESS, 2023. [doi]
@inproceedings{SchutzenmeierKF23,
title = {Scenario-Based Model Checking of Declarative Process Models},
author = {Nicolai Schützenmeier and Martin Käppel and Myriel Fichtner and Stefan Jablonski},
year = {2023},
doi = {10.5220/0011856400003467},
url = {https://doi.org/10.5220/0011856400003467},
researchr = {https://researchr.org/publication/SchutzenmeierKF23},
cites = {0},
citedby = {0},
pages = {406-417},
booktitle = {Proceedings of the 25th International Conference on Enterprise Information Systems, ICEIS 2023, Volume 2, Prague, Czech Republic, April 24-26, 2023},
editor = {Joaquim Filipe and Michal Smialek and Alexander Brodsky 0001 and Slimane Hammoudi},
publisher = {SCITEPRESS},
isbn = {978-989-758-648-4},
}