DMCA

SAT-Based Fault Coverage Evaluation in the Presence of Unknown Values

Cached

Download Links

by H. -j , Michael A. Kochte , Hans-joachim Wunderlich