Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
| 2010 | |
| Contributo in Atti di convegno | |
| Graded Alternating-Time Temporal Logic. In: Lecture Notes in Computer Science Springer Vol.6355, Pag.189-210 ISBN:9783642175107 | |
| The 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '10) Dakar, Senegal 25 Aprile-- 1 Maggio, 2010 | |
| Parente, Domenico; Napoli, Margherita; Faella, M. | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-17511-4_12 Codice identificativo ISI: WOS:000309668000012 Codice identificativo SCOPUS: 2-s2.0-78650850178 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| A NuSMV Extension for Graded-CTL Model Checking. In: Proc. of CAV 2010, Lecture Notes in Computer Science Springer-Verlag Pag.670-673 ISBN:978-3-642-14294-9 | |
| Conference of 22nd International Conference on Computer-Aided Verification, CAV 2010 Edimburgh 15 July 2010 Through 19 July 2010 | |
| Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F. | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-14295-6_58 Codice identificativo ISI: WOS:000281446200057 Codice identificativo SCOPUS: 2-s2.0-77955007634 | |
| Visualizza sul Database dei Prodotti (IRIS) |
