Verification of well-formed Communicating Recursive State Machines

PERON, ADRIANO (2008) Verification of well-formed Communicating Recursive State Machines. [Pubblicazione su rivista scientifica]

Full text non disponibile da questo archivio.


Tipologia di documento:Pubblicazione su rivista scientifica
Parole chiave:Model checking, recursive state machines, Verification
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2008
Altri Autori:L. Bozzelli, S. La Torre, A. Peron
Numero di pagine:24
Intervallo di pagina:pp. 382-406
Volume:403
Numero:1-2
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Numero identificativo:10.1016/j.tcs.2008.06.012
Titolo rivista/pubblicazione:THEORETICAL COMPUTER SCIENCE
Numero di sistema:7221
Depositato il:21 Ottobre 2010 08:16
Ultima modifica:21 Ottobre 2010 08:16

Solo per gli Amministratori dell'archivio: edita il record