id: 70690828
dt: a
an: 70690828
au: Kochte, Michael A.; Wunderlich, Hans-Joachim
ti: SAT-based fault coverage evaluation in the presence of unknown values
so: DATE, 1303-1308 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5763209