Login / Signup
Xin Ye
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 8
Top Topics
Transition Systems
Reachability Analysis
Model Checking
Timed Automata
Top Venues
ICECCS
CoRR
ARES
Int. J. Found. Comput. Sci.
</>
Publications
</>