BibTeX record conf/itaero/0002EFP12

download as .bib file

@inproceedings{DBLP:conf/itaero/0002EFP12,
  author    = {Michael Gerke and
               R{\"{u}}diger Ehlers and
               Bernd Finkbeiner and
               Hans{-}J{\"{o}}rg Peter},
  title     = {FlexRay for Avionics: Automatic Verification with Parametric Physical
               Layers},
  booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
               2012},
  year      = {2012},
  url       = {https://doi.org/10.2514/6.2012-2583},
  doi       = {10.2514/6.2012-2583},
  timestamp = {Fri, 05 May 2017 13:12:38 +0200},
  biburl    = {https://dblp.org/rec/conf/itaero/0002EFP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics