Benjamin Rogel-Favila, Antony Wakeling, Peter Y. K. Cheung. Model-based fault diagnosis of sequential circuits and its acceleration. In Tony Ambler, Jochen A. G. Jess, Hugo De Man, editors, Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991. pages 224-229, EEE Computer Society, 1991. [doi]
Abstract is missing.