Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Paper
Limits for automatic verification of finite-state concurrent systems
Related
Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007
Xinyi Su, Guangyu He, et al.
Dianli Xitong Zidonghua/Automation of Electric Power Systems