DBLP Record 'conf/date/LettninNBRGKRSR09'

BibTeX

@inproceedings{DBLP:conf/date/LettninNBRGKRSR09,
  author    = {Djones Lettnin and
               Pradeep Kumar Nalla and
               J{\"o}rg Behrend and
               J{\"u}rgen Ruf and
               Joachim Gerlach and
               Thomas Kropf and
               Wolfgang Rosenstiel and
               Volker Sch{\"o}nknecht and
               Stephan Reitemeyer},
  title     = {Semiformal verification of temporal properties in automotive
               hardware dependent software},
  booktitle = {DATE},
  year      = {2009},
  pages     = {1214-1217},
  ee        = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609{\&}arnumber=5090847{\&}count=326{\&}index=233},
  crossref  = {DBLP:conf/date/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/date/2009,
  title     = {Design, Automation and Test in Europe, DATE 2009, Nice,
               France, April 20-24, 2009},
  booktitle = {DATE},
  publisher = {IEEE},
  year      = {2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}