Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke. Automatic Generation of Complex Properties for Hardware Designs. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 545-548, 2008. [doi]
@inproceedings{RoginKFDR08,
title = {Automatic Generation of Complex Properties for Hardware Designs},
author = {Frank Rogin and Thomas Klotz and Görschwin Fey and Rolf Drechsler and Steffen Rülke},
year = {2008},
doi = {10.1109/DATE.2008.4484908},
url = {http://dx.doi.org/10.1109/DATE.2008.4484908},
researchr = {https://researchr.org/publication/RoginKFDR08},
cites = {0},
citedby = {0},
pages = {545-548},
booktitle = {Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008},
}