Login / Signup
Kebin Zeng
Publication Activity (10 Years)
Years Active: 2010-2015
Publications (10 Years): 0
Top Topics
Formal Specification
Monte Carlo
Low Quality
Temporal Logic
Top Venues
CoRR
Software, Services, and Systems
COORDINATION
</>
Publications
</>