Login / Signup
Roberto Casaluce
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Model Checking
Timed Automata
Temporal Properties
Product Line
Top Venues
DAMOCLES@AVI
CoRR
J. Syst. Softw.
Business Process Management Workshops
</>
Publications
</>