External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Scenario-Based Model Checking of Declarative Process Models

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]

Authors

Nicolai Schützenmeier

This author has not been identified. Look up 'Nicolai Schützenmeier' in Google

Martin Käppel

This author has not been identified. Look up 'Martin Käppel' in Google

Myriel Fichtner

This author has not been identified. Look up 'Myriel Fichtner' in Google

Stefan Jablonski

This author has not been identified. Look up 'Stefan Jablonski' in Google
runs on