Model Checking and Modular Verification (1994)

by O Grumberg, D E Long
Venue:Transactions on Programming Languages and Systems