DMCA

SAT based Predicate Abstraction for Hardware Verification (2002)

Cached

Download Links

by Edmund Clarke , Muralidhar Talupur , Helmut Veith , Dong Wang
Venue:In SAT
Citations:18 - 4 self