Enriched \mu-calculus Pushdown Module Checking

MURANO, ANIELLO (2007) Enriched \mu-calculus Pushdown Module Checking. In: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07), 15-19 Ottobre, 2007., Yerevan, Armenia.

Full text non disponibile da questo archivio.

URL: http://www.lpar.net/2007/


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:A. Ferrante, A. Murano, M. Parente
Editore:Springer-Verlag
Numero di pagine:0
Intervallo di pagina:pp. 438-453
Volume:4790 of LNAI
URL:http://www.lpar.net/2007/
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:978-3-540-75558-6
Titolo dell'evento:14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07)
Luogo dell'Evento:Yerevan, Armenia
Data dell'evento:15-19 Ottobre, 2007.
Numero di sistema:5520
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record