\mu-calculus Pushdown Module Checking with Imperfect State Information

MURANO, ANIELLO (2008) \mu-calculus Pushdown Module Checking with Imperfect State Information. In: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008, 08-10 Settembre, 2008., Milano, Italy.

Full text non disponibile da questo archivio.

URL: http://bioinformatics.bio.disco.unimib.it/tc1/


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:B. Aminof, A. Legay, A. Murano, O. Serre
Editore:Springer-Verlag
Numero di pagine:0
Intervallo di pagina:pp. 333-348
Volume:273 of IFIP
URL:http://bioinformatics.bio.disco.unimib.it/tc1/
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:978-0-387-09679-7
Titolo dell'evento:Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
Luogo dell'Evento:Milano, Italy
Data dell'evento:08-10 Settembre, 2008.
Numero di sistema:5519
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record