@inproceedings{conf/fmcad/RungtaM06,
	title = {An Improved Distance Heuristic Function for Directed Software Model Checking.},
	author = {Neha Rungta and Eric G. Mercer},
	booktitle = {FMCAD},
	crossref = {conf/fmcad/2006},
	pages = {60-67},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2006.html#RungtaM06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2efd0284af61dc0e5c0fea3188222bd0d/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.5}, isbn = {0-7695-2707-8}, date = {2007-05-03},
	keywords = {dblp }
}