Stefano Quer, Gianpiero Cabodi, Paolo Camurati. Decomposed symbolic forward traversals of large finite state machines. In Graham Symonds, Wolfgang Nebel, editors, Proceedings of the conference on European design automation, EURO-DAC '96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996. pages 170-175, IEEE Computer Society Press, 1996. [doi]
@inproceedings{QuerCC96,
title = {Decomposed symbolic forward traversals of large finite state machines},
author = {Stefano Quer and Gianpiero Cabodi and Paolo Camurati},
year = {1996},
url = {http://dl.acm.org/citation.cfm?id=252505},
researchr = {https://researchr.org/publication/QuerCC96},
cites = {0},
citedby = {0},
pages = {170-175},
booktitle = {Proceedings of the conference on European design automation, EURO-DAC '96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
editor = {Graham Symonds and Wolfgang Nebel},
publisher = {IEEE Computer Society Press},
isbn = {0-8186-7573-X},
}