BibTeX record conf/iccd/BeyerBGHRKLP05

download as .bib file

  author    = {Sven Beyer and
               Peter B{\"{o}}hm and
               Michael Gerke and
               Mark A. Hillebrand and
               Thomas In der Rieden and
               Steffen Knapp and
               Dirk Leinenbach and
               Wolfgang J. Paul},
  title     = {Towards the Formal Verification of Lower System Layers in Automotive
  booktitle = {{ICCD}},
  pages     = {317--326},
  publisher = {{IEEE} Computer Society},
  year      = {2005}
a service of Schloss Dagstuhl - Leibniz Center for Informatics