@inproceedings{conf/fmcad/WangGI07,
	title = {Induction in CEGAR for Detecting Counterexamples.},
	author = {Chao Wang and Aarti Gupta and Franjo Ivancic},
	booktitle = {FMCAD},
	crossref = {conf/fmcad/2007},
	pages = {77-84},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2007.html#WangGI07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2388a9a226c3afa2c90251c191b82ed1f/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.29}, date = {2008-02-11},
	keywords = {dblp }
}