Verification of Web Services with Timed Automata.
['Gregorio Díaz', 'Juan José Pardo', 'María-Emilia Cambronero', 'Valentín Valero', 'Fernando Cuartero']
Verification of Web Services with Timed Automata.