Login / Signup
Madhavan Mukund
ORCID
Publication Activity (10 Years)
Years Active: 1989-2023
Publications (10 Years): 12
Top Topics
Markov Chain
Data Types
Timed Automata
Business Processes
Top Venues
VMCAI
CoRR
ATVA
Commun. ACM
</>
Publications
</>