"Illegal State Space Identification for Sequential Circuit Test Generation."

M. H. Konijnenburg, J. Th. van der Linden, A. J. van de Goor (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics