Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
| 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.; Napoli, Margherita; Parente, Domenico | |
| 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) |
| 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; Napoli, Margherita; Parente, Domenico | |
| 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) |
