Login / Signup
Bingtian Xue
Publication Activity (10 Years)
Years Active: 2012-2018
Publications (10 Years): 6
Top Topics
Scripting Language
Transition Systems
Modal Logic
Model Checking
Top Venues
CoRR
MFPS
SETTA
Ershov Memorial Conference
</>
Publications
</>