Pushdown Module Checking

BOZZELLI, LAURA and MURANO, ANIELLO and PERON, ADRIANO (2010) Pushdown Module Checking. [Pubblicazione su rivista scientifica]

Full text non disponibile da questo archivio.


Tipologia di documento:Pubblicazione su rivista scientifica
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2010
Altri Autori:L. Bozzelli, A. Murano, A. Peron
Numero di pagine:31
Intervallo di pagina:pp. 65-95
Volume:36
Numero:1
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Data dell'evento:2008
Titolo rivista/pubblicazione:FORMAL METHODS IN SYSTEM DESIGN
Numero di sistema:7792
Depositato il:21 Ottobre 2010 09:39
Ultima modifica:21 Ottobre 2010 09:39

Solo per gli Amministratori dell'archivio: edita il record