Nicolai Schützenmeier, Martin Käppel, Sebastian Petter, Stefan Jablonski. Upper-Bounded Model Checking for Declarative Process Models. In Estefanía Serral, Janis Stirna, Jolita Ralyté, Janis Grabis, editors, The Practice of Enterprise Modeling - 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings. Volume 432 of Lecture Notes in Business Information Processing, pages 195-211, Springer, 2021. [doi]
Abstract is missing.