Login / Signup
Paulo T. Guerra
ORCID
Publication Activity (10 Years)
Years Active: 2010-2022
Publications (10 Years): 5
Top Topics
Model Checker
Mazurkiewicz Traces
Formal Specification
Temporal Logic
Top Venues
SBBD
Ann. Math. Artif. Intell.
J. Log. Lang. Inf.
KR
</>
Publications
</>