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) |
