Login / Signup
Maurizio Memoli
Publication Activity (10 Years)
Years Active: 2010-2010
Publications (10 Years): 0
</>
Publications
</>
Alessandro Ferrante
,
Maurizio Memoli
,
Margherita Napoli
,
Mimmo Parente
,
Francesco Sorrentino
A NuSMV Extension for Graded-CTL Model Checking.
CAV
(2010)