Login / Signup
Rohit Chadha
ORCID
Publication Activity (10 Years)
Years Active: 2001-2024
Publications (10 Years): 30
Top Topics
Probabilistic Automata
Model Checking
Automated Verification
Security Protocols
Top Venues
CoRR
LICS
FoSSaCS
ACM Trans. Comput. Log.
</>
Publications
</>