Login / Signup
Yi Deng
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 3
Top Topics
Discrete Event
Verification Method
Temporal Logic
Mazurkiewicz Traces
Top Venues
HSCC
HAS
CoRR
ACC
</>
Publications
</>