Pushdown Module Checking with Imperfect Information

MURANO, ANIELLO (2007) Pushdown Module Checking with Imperfect Information. In: Proceeding of the 18th International Conference on Concurrency Theory, September 3-8, 2007., Lisbon - Portugal.

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:2007
Altri Autori:AMINOF B; A. MURANO; VARDI M.Y
Editore:Springer-Verlag
Numero di pagine:0
Intervallo di pagina:pp. 460-475
Volume:4703 of LNCS
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:978-3-540-74406-1
Titolo dell'evento:Proceeding of the 18th International Conference on Concurrency Theory
Luogo dell'Evento:Lisbon - Portugal
Data dell'evento:September 3-8, 2007.
Numero di sistema:5661
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record