Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Silvano Gai, Paolo Prinetto, Matteo Sonza Reorda
A New Model for Improving symbolic Product Machine Traversal
DAC, 1992.
@inproceedings{DAC-1992-CabodiCCGPR,
acmid = "113938.149643",
author = "Gianpiero Cabodi and Paolo Camurati and Fulvio Corno and Silvano Gai and Paolo Prinetto and Matteo Sonza Reorda",
booktitle = "{Proceedings of the 29th Design Automation Conference}",
isbn = "0-8186-2822-7",
pages = "614--619",
publisher = "{IEEE Computer Society Press}",
title = "{A New Model for Improving symbolic Product Machine Traversal}",
year = 1992,
}