@inproceedings { conf/tacas/JainK,
	title = {VCEGAR: Verilog CounterExample Guided Abstraction Refinement.},
	booktitle = {Lecture Notes in Computer Science},
	volume = {4424},
	year = {2007},
	pages = {583-586},
	publisher = {Springer},
	organization = {Springer},
	type = {inproceedings},
	ISBN = {978-3-540-71208-4},
	author = { Jain, Himanshu  and   Kroening, Daniel  and   Sharygina, Natasha  and   Clarke, Edmund M.}
	editor = {Orna Grumberg and Michael Huth},
}