Mohamed H. Zaki, Sofiène Tahar, Guy Bois. Qualitative Abstraction based Verification for Analog Circuits. In Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels, editors, ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007. Volume RNTI-SM-1 of Revue des Nouvelles Technologies de l Information, pages 147-158, Cépaduès-Éditions, 2007.
@inproceedings{ZakiTB07,
title = {Qualitative Abstraction based Verification for Analog Circuits},
author = {Mohamed H. Zaki and Sofiène Tahar and Guy Bois},
year = {2007},
tags = {rule-based, abstraction},
researchr = {https://researchr.org/publication/ZakiTB07},
cites = {0},
citedby = {0},
pages = {147-158},
booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007},
editor = {Yamine Aït Ameur and Frédéric Boniol and Virginie Wiels},
volume = {RNTI-SM-1},
series = {Revue des Nouvelles Technologies de l Information},
publisher = {Cépaduès-Éditions},
isbn = {978-2-85428-814-8},
}