Monotonic Abstraction-Refinement for CTL.

Sharon Shoham, Orna Grumberg

Browse the full TACAS paper archive.