Research on automatic verification of finite-state concurrent systems (1987)

by E M CLARKE, GRUMBERG
Venue:Tech Rep. CMU-CS-87- 105. Carnegie-Mellon Univ