Marc Voorhoeve. Compositional Modeling and Verification of Workflow Processes. In Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis, editors, Business Process Management, Models, Techniques, and Empirical Studies. Volume 1806 of Lecture Notes in Computer Science, pages 184-200, Springer, 2000. [doi]
@inproceedings{Voorhoeve00,
title = {Compositional Modeling and Verification of Workflow Processes},
author = {Marc Voorhoeve},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1806/18060184.htm},
tags = {modeling, composition, workflow, process modeling},
researchr = {https://researchr.org/publication/Voorhoeve00},
cites = {0},
citedby = {0},
pages = {184-200},
booktitle = {Business Process Management, Models, Techniques, and Empirical Studies},
editor = {Wil M. P. van der Aalst and Jörg Desel and Andreas Oberweis},
volume = {1806},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67454-3},
}