DMCA

Monotonic abstraction-refinement for CTL (2004)

Cached

Download Links

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