Monotonic abstraction-refinement for CTL. (2004)

by S Shoham, O Grumberg
Venue:In TACAS,