Verification of Web Services with Timed Automata
| Autor: | Diaz, Gregorio, Pardo, Juan-José, Cambronero, María-Emilia, Valero, Valentín, Cuartero, Fernando |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 22 May 2006 157(2):19-34 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect