Program Complexity in Hierarchical Module Checking

MURANO, ANIELLO (2008) Program Complexity in Hierarchical Module Checking. In: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning , (LPAR'08), 22-27 Novembre, 2008., Doha, Qatar.

Full text non disponibile da questo archivio.

URL: http://www.qatar.cmu.edu/lpar08/


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, M. Napoli, M. Parente
Editore:Springer-Verlag
Numero di pagine:0
Intervallo di pagina:pp. 318-332
Volume:5330 of LNAI
URL:http://www.qatar.cmu.edu/lpar08/
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:978-3-540-89438-4
Titolo dell'evento:15th International Conference on Logic for Programming Artificial Intelligence and Reasoning , (LPAR'08)
Luogo dell'Evento:Doha, Qatar
Data dell'evento:22-27 Novembre, 2008.
Numero di sistema:5516
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record