Verification of Well-Formed Communicating Recursive State Machines

PERON, ADRIANO (2006) Verification of Well-Formed Communicating Recursive State Machines. In: 7th International Conference, VMCAI 2006,, 8-10 gennaio 2006, Charleston, SC, USA,.

Full text non disponibile da questo archivio.

Abstract

Lecture Notes in Computer Science

Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2006
Altri Autori:BOZZELLI A; LA TORRE S; A. PERON
Numero di pagine:0
Intervallo di pagina:pp. 412-426
Volume:3855
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Titolo dell'evento:7th International Conference, VMCAI 2006,
Luogo dell'Evento:Charleston, SC, USA,
Data dell'evento:8-10 gennaio 2006
Numero di sistema:5651
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record