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]
@inproceedings{CabodiCCPR92-0,
title = {Cross-fertilizing FSM verification techniques and sequential diagnosis},
author = {Gianpiero Cabodi and Paolo Camurati and Fulvio Corno and Paolo Prinetto and Matteo Sonza Reorda},
year = {1992},
url = {http://dl.acm.org/citation.cfm?id=161768},
researchr = {https://researchr.org/publication/CabodiCCPR92-0},
cites = {0},
citedby = {0},
pages = {306-311},
booktitle = {Proceedings of the conference on European design automation, EURO-DAC '92, Hamburg, Germany, September 7-10, 1992},
editor = {Gerald Musgrave},
publisher = {IEEE Computer Society Press},
isbn = {0-8186-2780-8},
}