Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
Formal analysis of hardware requirements
DAC, 2006.
@inproceedings{DAC-2006-PillSCRBC,
author = "Ingo Pill and Simone Semprini and Roberto Cavada and Marco Roveri and Roderick Bloem and Alessandro Cimatti",
booktitle = "{Proceedings of the 43rd Design Automation Conference}",
doi = "10.1145/1146909.1147119",
isbn = "1-59593-381-6",
pages = "821--826",
publisher = "{ACM}",
title = "{Formal analysis of hardware requirements}",
year = 2006,
}