Prodotti
Articoli
Finite Approximations for Model Checking Non-finite-state Processes
- autori
- N. De Francesco, A. Fantechi, S. Gnesi, P. Inverardi
- anno
- 2001
- tipo prodotto
- Articolo in rivista
- rivista
- COMPUTER JOURNAL
- isbn-issn
- 0010-4620
- tipo indicizzazione
- ISI
- lingua
- inglese
- volume/numero rivista
- 44
- numero pagine
- 15
- pagina iniziale
- 109
- pagina finale
- 123
- numero
- 2
- data articolo
- 2001
- schede autori
- DE FRANCESCO NICOLETTA