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]
Abstract is missing.