@inproceedings{conf/iccd/BeyerBGHRKLP05,
	title = {Towards the Formal Verification of Lower System Layers in Automotive Systems.},
	author = {Sven Beyer and Peter Böhm and Michael Gerke 0002 and Mark A. Hillebrand and Thomas In der Rieden and Steffen Knapp and Dirk Leinenbach and Wolfgang J. Paul},
	booktitle = {ICCD},
	crossref = {conf/iccd/2005},
	pages = {317-326},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2005.html#BeyerBGHRKLP05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/25cdb69c93ac01a13ad6b919ef7a32b70/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.110}, isbn = {0-7695-2451-6}, date = {2007-02-08},
	keywords = {dblp }
}