Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
| 2009 | |
| Articolo in rivista | |
| MODEL-CHECKING FOR GRADED CTL FUNDAMENTA INFORMATICAE. Vol. 96. Pag.1-17 ISSN:0169-2968. | |
| Ferrante, Alessandro; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.3233/FI-2009-181 Codice identificativo ISI: WOS:000273197600006 Codice identificativo SCOPUS: 2-s2.0-77149155980 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Graded-CTL: Satisfiability and Symbolic Model Checking. In: International Conference on Formal Engineering Methods Springer-Verlag Vol.5885, Pag.306-325 | |
| Conference of 11th International Conference on Formal Engineering Methods, ICFEM 2009 Rio de Janeiro; Brazil; 9 December 2009 through 12 December 2009 | |
| Alessandro, Ferrante; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-10373-5_16 Codice identificativo ISI: WOS:000280073000016 Codice identificativo SCOPUS: 2-s2.0-77954989561 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Graded Alternating Time Temporal Logic. In: 24-esimo Convegno Italiano di Logica Computazionale FERRARA Marco Gavanelli and Fabrizio Riguzzi Pag.1-15 | |
Ferrara 24-26 giugno 2009 | |
| Faella, Marco; Napoli, Margherita; Parente, Domenico | |
| Visualizza sul Database dei Prodotti (IRIS) |
