Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. Verification of Timed BPEL 2.0 Models. In Terry A. Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider, editors, Enterprise, Business-Process and Information Systems Modeling - 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings. Volume 81 of Lecture Notes in Business Information Processing, pages 261-275, Springer, 2011. [doi]
@inproceedings{FaresBF11,
title = {Verification of Timed BPEL 2.0 Models},
author = {Elie Fares and Jean-Paul Bodeveix and Mamoun Filali},
year = {2011},
doi = {10.1007/978-3-642-21759-3_19},
url = {http://dx.doi.org/10.1007/978-3-642-21759-3_19},
tags = {meta-model, BPEL, Meta-Environment},
researchr = {https://researchr.org/publication/FaresBF11},
cites = {0},
citedby = {0},
pages = {261-275},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings},
editor = {Terry A. Halpin and Selmin Nurcan and John Krogstie and Pnina Soffer and Erik Proper and Rainer Schmidt and Ilia Bider},
volume = {81},
series = {Lecture Notes in Business Information Processing},
publisher = {Springer},
isbn = {978-3-642-21758-6},
}