@inproceedings{conf/isola/ZakiTB07,
	title = {Qualitative Abstraction based Verification for Analog Circuits.},
	author = {Mohamed H. Zaki and Sofiène Tahar and Guy Bois},
	booktitle = {ISoLA},
	crossref = {conf/isola/2007},
	editor = {Yamine Aït Ameur and Frédéric Boniol and Virginie Wiels},
	pages = {147-158},
	publisher = {Cépaduès-Éditions},
	series = {Revue des Nouvelles Technologies de l'Information},
	url = {http://dblp.uni-trier.de/db/conf/isola/isola2007.html#ZakiTB07},
	volume = {RNTI-SM-1},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2f2130e1ef07c4b44f89fed4c87becdf7/dblp},
	description = {dblp},
	date = {2008-06-19}, isbn = {978-2-85428-814-8},
	keywords = {dblp }
}