Home
DCC eCatalog
A.__Biere
Symbolic Model Checking Using SAT Procedures instead of BDDs
