Login / Signup
Jiri Barnat
Publication Activity (10 Years)
Years Active: 2001-2023
Publications (10 Years): 42
Top Topics
Model Checking
Symbolic Data
Temporal Constraints
Satisfiability Modulo Theories
Top Venues
CoRR
SEFM
MEMICS
ICTAC
</>
Publications
</>