@inproceedings{conf/vmcai/WachterW07,
	title = {The Spotlight Principle.},
	author = {Björn Wachter and Bernd Westphal},
	booktitle = {VMCAI},
	crossref = {conf/vmcai/2007},
	editor = {Byron Cook and Andreas Podelski},
	pages = {182-198},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2007.html#WachterW07},
	volume = {4349},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/255fc490cb8bb59773e65e78e1cfbdf73/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-69738-1_13}, isbn = {978-3-540-69735-0}, date = {2008-01-08},
	keywords = {dblp }
}