Improved Model Checking of Hierarchical Systems

MURANO, ANIELLO (2010) Improved Model Checking of Hierarchical Systems. In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation, 17-19 Gennaio, 2010,, Madrid, Spain.

Full text non disponibile da questo archivio.


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:2010
Altri Autori:B. Aminof, A. Murano, O. Kupferman
Editore:Springer-Verlag
Numero di pagine:0
Intervallo di pagina:pp. 61-77
Volume:5944 of LNCS
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:978-3-642-11318-5
Titolo dell'evento:11th International Conference on Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Luogo dell'Evento:Madrid, Spain
Data dell'evento:17-19 Gennaio, 2010,
Numero di sistema:5438
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record