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]
Abstract is missing.