Volker Gruhn, Ralf Laue. How Style Checking Can Improve Business Process Models. In Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with . pages 47-56, INSTICC Press, 2006.
@inproceedings{GruhnL06:3,
title = {How Style Checking Can Improve Business Process Models},
author = {Volker Gruhn and Ralf Laue},
year = {2006},
tags = {model checking, meta-model, business process modeling, Meta-Environment, process modeling},
researchr = {https://researchr.org/publication/GruhnL06%3A3},
cites = {0},
citedby = {0},
pages = {47-56},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with },
editor = {Joseph Barjis and Ulrich Ultes-Nitsche and Juan Carlos Augusto},
publisher = {INSTICC Press},
isbn = {978-972-8865-49-8},
}