Sat-based assistance in abstraction refinement for symbolic trajectory evaluation (2006)

Cached

Download Links

by Jan-willem Roorda , Koen Claessen
Venue:In Computer Aided Verification (CAV
Citations:9 - 1 self