Manuel I. Capel. Checking Realizability of a Timed Business Processes Choreography. In Donald Ferguson, Víctor Méndez Muñoz, Jorge S. Cardoso, Markus Helfert, Claus Pahl, editors, CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017. pages 413-420, SciTePress, 2017. [doi]
@inproceedings{Capel17,
title = {Checking Realizability of a Timed Business Processes Choreography},
author = {Manuel I. Capel},
year = {2017},
doi = {10.5220/0006300404130420},
url = {https://doi.org/10.5220/0006300404130420},
researchr = {https://researchr.org/publication/Capel17},
cites = {0},
citedby = {0},
pages = {413-420},
booktitle = {CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017},
editor = {Donald Ferguson and Víctor Méndez Muñoz and Jorge S. Cardoso and Markus Helfert and Claus Pahl},
publisher = {SciTePress},
isbn = {978-989-758-243-1},
}