Model Checking and Modular Verification (1994)

by O Grumberg, D E Long
Venue:ACM Trans. on Prog. Lang. and Systems