Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Oliver Bodemer
IBM J. Res. Dev
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design