Monotonic Abstraction-Refinement for CTL (2004)

by S Shoham, O Grumberg
Venue:ICSE Workshop on Scenarios and State Machines: Model, Algorithms and Tools