Program Complexity in Hierarchical Module Checking / Murano, Aniello; M., Napoli; M., Parente. - STAMPA. - 5330:(2008), pp. 318-332. (Intervento presentato al convegno 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning , (LPAR'08) tenutosi a Doha, Qatar nel 22-27 Novembre, 2008.).
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
paper_51.pdf
solo utenti autorizzati
Tipologia:
Documento in Post-print
Licenza:
Accesso privato/ristretto
Dimensione
230.25 kB
Formato
Adobe PDF
|
230.25 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.