Analysis and Verification of Time Requirements Applied to the Web Services Composition

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]

Authors

Gregorio Díaz

This author has not been identified. Look up 'Gregorio Díaz' in Google

María-Emilia Cambronero

This author has not been identified. Look up 'María-Emilia Cambronero' in Google

M. Llanos Tobarra

This author has not been identified. Look up 'M. Llanos Tobarra' in Google

Valentin Valero

This author has not been identified. Look up 'Valentin Valero' in Google

Fernando Cuartero

This author has not been identified. Look up 'Fernando Cuartero' in Google