Login / Signup
Libero Nigro
ORCID
Publication Activity (10 Years)
Years Active: 1981-2024
Publications (10 Years): 37
Top Topics
Model Checking
Timed Automata
Petri Net
Temporal Properties
Top Venues
DS-RT
Simul. Model. Pract. Theory
ECMS
Algorithms
</>
Publications
</>