Login / Signup
Tamás Tóth
ORCID
Publication Activity (10 Years)
Years Active: 2000-2024
Publications (10 Years): 13
Top Topics
Formal Verification
Satisfiability Modulo Theories
Timed Automata
Model Checking
Top Venues
Scientometrics
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
SERENE
FORTE
</>
Publications
</>