Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong. Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. 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 97-107, INSTICC Press, 2006.
@inproceedings{YeungLWD06,
title = {Model Checking Suspendible Business Processes via Statechart Diagrams and CSP},
author = {Wing Lok Yeung and Karl R. P. H. Leung and Ji Wang and Wei Dong},
year = {2006},
tags = {model checking, meta-model, business process modeling, Meta-Environment, process modeling},
researchr = {https://researchr.org/publication/YeungLWD06},
cites = {0},
citedby = {0},
pages = {97-107},
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},
}