DMCA

Symbolic Model Checking without BDDs (1999)

by Armin Biere , Alessandro Cimatti , Edmund Clarke , Yunshan Zhu
Citations:907 - 75 self