Prodotti
Atti, Riassunti o Comunicazioni
Automatic Validation of Protocol Narration
- autori
- Bodei C., Buchholtz M., Degano P., Nielson F. and Nielson Riis
- anno
- 2003
- tipo prodotto
- Atto di convegno internazionale con revisori articolo in extenso
- lingua
- Inglese
- volume
- Proc. of 16th IEEE CSFW
- numero pagine
- 15
- pagina iniziale
- 126
- pagina finale
- 140
- casa editrice
- nnnn
- data
- 2003
- nome conferenza
- IEEE CSFW
- localita' conferenza
- Asilomar
- schede autori
- DEGANO PIERPAOLO