Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
Nanda Kambhatla
ACL 2004