Pubblicazioni

Domenico PARENTE Pubblicazioni


2009
Articolo in rivista
MODEL-CHECKING FOR GRADED CTL
FUNDAMENTA INFORMATICAE. Vol. 96. Pag.1-17
ISSN:0169-2968.
FERRANTE A; NAPOLI M; PARENTE M.
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 M; NAPOLI M.; PARENTE M
Visualizza sul Database dei Prodotti (IRIS)