Login / Signup
Paolo Pasini
ORCID
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 13
Top Topics
Model Checking
Reachability Queries
Temporal Properties
Formal Specification
Top Venues
FMCAD
DATE
Formal Methods Syst. Des.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>