Raffaella Gentilini, Klaus Schneider, Alexander Dreyer. Three-valued automated reasoning on analog properties. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 485-488, ACM, 2007. [doi]
@inproceedings{GentiliniSD07,
title = {Three-valued automated reasoning on analog properties},
author = {Raffaella Gentilini and Klaus Schneider and Alexander Dreyer},
year = {2007},
doi = {10.1145/1228784.1228899},
url = {http://doi.acm.org/10.1145/1228784.1228899},
researchr = {https://researchr.org/publication/GentiliniSD07},
cites = {0},
citedby = {0},
pages = {485-488},
booktitle = {Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007},
editor = {Hai Zhou and Enrico Macii and Zhiyuan Yan and Yehia Massoud},
publisher = {ACM},
isbn = {978-1-59593-605-9},
}