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.).

Program Complexity in Hierarchical Module Checking

MURANO, ANIELLO;
2008

2008
9783540894384
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/334078
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? 15
social impact