Sciweavers

JLP
2011

Validation and verification of Web services choreographies by using timed automata

13 years 6 months ago
Validation and verification of Web services choreographies by using timed automata
María-Emilia Cambronero, Gregorio Dí
Added 14 May 2011
Updated 14 May 2011
Type Journal
Year 2011
Where JLP
Authors María-Emilia Cambronero, Gregorio Díaz, Valentin Valero, Enrique Martínez
Comments (0)