Koji Yamazaki, Teruhiko Yamada. An approach to diagnose logical faults in partially observable sequential circuits. In 6th Asian Test Symposium (ATS 97), 17-18 November 1997, Akita, Japan. pages 168-173, IEEE Computer Society, 1997. [doi]
Abstract is missing.