Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs (2006)

by Marc Herbstritt , Bernd Becker , Christoph Scholl
Venue:IN: PROC. OF MTV, IEEE CS
Citations:5 - 4 self