Monotonic abstraction-refinement for CTL (2004)

Cached

Download Links

by Sharon Shoham , Orna Grumberg
Venue:In TACAS
Citations:25 - 3 self