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.
Abstract is missing.