Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti. Formal analysis of hardware requirements. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 821-826, ACM, 2006. [doi]
@inproceedings{PillSCRBC06,
title = {Formal analysis of hardware requirements},
author = {Ingo Pill and Simone Semprini and Roberto Cavada and Marco Roveri and Roderick Bloem and Alessandro Cimatti},
year = {2006},
doi = {10.1145/1146909.1147119},
url = {http://doi.acm.org/10.1145/1146909.1147119},
tags = {analysis},
researchr = {https://researchr.org/publication/PillSCRBC06},
cites = {0},
citedby = {0},
pages = {821-826},
booktitle = {Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006},
editor = {Ellen Sentovich},
publisher = {ACM},
isbn = {1-59593-381-6},
}