Integrating BDD-Based and SAT-Based Symbolic model checking (2002)

Cached

Download Links

by Alessandro Cimatti , Enrico Giunchiglia , Marco Pistore , Marco Roveri , Roberto Sebastiani , A. Tacchella
Citations:15 - 3 self