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)