SAT-based Verification without State Space Traversal (2000)

Cached

Download Links

by Per Bjesse , Koen Claessen
Venue:In Formal Methods in Computer-Aided Design
Citations:67 - 3 self