Login / Signup
Paqui Lucio
ORCID
Publication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 14
Top Topics
Temporal Logic
Automated Theorem Provers
Model Checking
Logical Foundations
Top Venues
CoRR
TIME
ACM Trans. Comput. Log.
K-CAP
</>
Publications
</>