Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda. Sequential Circuit Diagnosis Based on Formal Verification Techniques. In Proceedings IEEE International Test Conference 1992, Discover the New World of Test and Design, Baltimore, Maryland, USA, September 20-24, 1992. pages 187-196, IEEE Computer Society, 1992.
Abstract is missing.