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)