Login / Signup
Wanpeng Qian
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Weiqiang Kong
,
Noriyuki Katahira
,
Wanpeng Qian
,
Masahiko Watanabe
,
Tetsuro Katayama
,
Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.
ICCSA Workshops
(2011)