Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero. Analysis and Verification of Time Requirements Applied to the Web Services Composition. In Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro, editors, Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Volume 4184 of Lecture Notes in Computer Science, pages 178-192, Springer, 2006. [doi]
@inproceedings{DiazCTVC06,
title = {Analysis and Verification of Time Requirements Applied to the Web Services Composition},
author = {Gregorio Díaz and María-Emilia Cambronero and M. Llanos Tobarra and Valentin Valero and Fernando Cuartero},
year = {2006},
doi = {10.1007/11841197_12},
url = {http://dx.doi.org/10.1007/11841197_12},
tags = {web service, composition, analysis, web services},
researchr = {https://researchr.org/publication/DiazCTVC06},
cites = {0},
citedby = {0},
pages = {178-192},
booktitle = {Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings},
editor = {Mario Bravetti and Manuel Núñez and Gianluigi Zavattaro},
volume = {4184},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-38862-1},
}