Pubblicazioni

Domenico PARENTE Pubblicazioni


2008
Contributo in Atti di convegno
Program Complexity in Hierarchical Module Checking.
In: Lecture Notes in Computer Science Springer-Verlag Pag.318-332
ISBN:9783540894384
15th International Conference on Logic for Programming Artificial Intelligence and Reasoning
Doha, Qatar November 22-27, 2008
A. MURANO; M. NAPOLI; PARENTE M.
Digital Object Identifier (DOI): 10.1007/978-3-540-89439-1_23
Codice identificativo ISI: WOS:000262502600023
Codice identificativo SCOPUS: 2-s2.0-58049125850
Visualizza sul Database dei Prodotti (IRIS)
2008
Contributo in Atti di convegno
CTL Model-Checking with Graded Quantifiers.
In: Lecture Notes in Computer Science ATVA 2008, L.N.C.S. Springer-Verlag Vol.5311, Pag.18-32
ISBN:354088386X; 9783540883869
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
Seoul, South Korea October 20-23, 2008
FERRANTE A.; M. NAPOLI; M. PARENTE
Digital Object Identifier (DOI): 10.1007/978-3-540-88387-6_4
Codice identificativo ISI: WOS:000261873000003
Codice identificativo SCOPUS: 2-s2.0-56749155699
Visualizza sul Database dei Prodotti (IRIS)