Login / Signup
Min Zhang
Publication Activity (10 Years)
Years Active: 2009-2017
Publications (10 Years): 3
Top Topics
Transition Systems
Timed Automata
Model Checking
Temporal Consistency
Top Venues
TASE
QLSC
SERE (Companion)
Fundam. Informaticae
</>
Publications
</>