Thomas M. Cheng
IT Professional
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014