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

by E M Clarke, O Grumberg
Venue:Ann. Rev. Comput. Sci