Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda. Cross-fertilizing FSM verification techniques and sequential diagnosis. In Gerald Musgrave, editor, Proceedings of the conference on European design automation, EURO-DAC '92, Hamburg, Germany, September 7-10, 1992. pages 306-311, IEEE Computer Society Press, 1992. [doi]
Abstract is missing.