DMCA
Incremental Deductive & Inductive Reasoning for SAT-based Bounded Model Checking (2004)
by
Liang Zhang
,
Mukul R Prasad
,
Michael S Hsiao
Citations: | 5 - 1 self |