Design and Verification of Web Services Compositions.

Enrique Martnez, Mara-Emilia Cambronero, Gregorio Daz, Valentn Valero

Browse the full ICIW paper archive.