Chen, Jwu E Liang, Hsing-Chung

Identifying Untestable Faults in Sequential Circuits. - 14-23 p.