Prodotti
Atti, Riassunti o Comunicazioni
Web services as a new approach to distributing and coordinating semantics-based verification toolkits
- autori
- M. Baldamus, J., Bengston, G. Ferrari, R. Raggi
- anno
- 2004
- tipo prodotto
- Articolo in atti di congresso
- lingua
- Inglese
- titolo serie
- Electronic Notes in Theoretical Computer Science
- volume
- 105
- pagina iniziale
- 11
- pagina finale
- 2o
- casa editrice
- Elsevier
- nome conferenza
- First International Workshop on Web Services and Formal MethodsFormal Methods}
- schede autori
- FERRARI GIAN-LUIGI