"An enhancement of lssd to reduce test pattern generation effort and ..."

Kewal K. Saluja (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics