Volker Gruhn, Ralf Laue. Checking Properties of Business Process Models with Logic Programming. In Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with . pages 84-93, INSTICC PRESS, 2007.
@inproceedings{GruhnL07,
title = {Checking Properties of Business Process Models with Logic Programming},
author = {Volker Gruhn and Ralf Laue},
year = {2007},
tags = {meta programming, model checking, meta-model, business process modeling, logic programming, programming, logic, Meta-Environment, process modeling},
researchr = {https://researchr.org/publication/GruhnL07},
cites = {0},
citedby = {0},
pages = {84-93},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with },
editor = {Juan Carlos Augusto and Joseph Barjis and Ulrich Ultes-Nitsche},
publisher = {INSTICC PRESS},
isbn = {978-972-8865-95-5},
}