Login / Signup
Yongbing Wan
Publication Activity (10 Years)
Years Active: 1988-2013
Publications (10 Years): 0
Top Topics
Artifact Centric
Automated Verification
Reactive Systems
Reachability Analysis
Top Venues
AICI
Int. J. Comput. Appl. Technol.
</>
Publications
</>