The Pushdown Module Checking Saga

MURANO, ANIELLO (2008) The Pushdown Module Checking Saga. In: 1th Annual Workshop of the ESF Networking Programme on Games for Design and Verification, (GAMES'08), 8-11 Settembre, 2008, Warsaw, Poland.

Full text non disponibile da questo archivio.

URL: http://www.mimuw.edu.pl/~games08/


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:2008
Altri Autori:A. Murano
Numero di pagine:0
Intervallo di pagina:pp. 1-3
URL:http://www.mimuw.edu.pl/~games08/
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Titolo dell'evento:1th Annual Workshop of the ESF Networking Programme on Games for Design and Verification, (GAMES'08)
Luogo dell'Evento:Warsaw, Poland
Data dell'evento:8-11 Settembre, 2008
Numero di sistema:5518
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record