@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},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.110}, isbn = {0-7695-2451-6}, date = {2007-02-08},
keywords = {dblp }
}
::