DBLP BibTeX Record 'conf/mbees/GehrkeHSNSN07'

@inproceedings{DBLP:conf/mbees/GehrkeHSNSN07,
  author    = {Matthias Gehrke and
               Martin Hirsch and
               Wilhelm Sch{\"a}fer and
               Oliver Niggemann and
               Dirk Stichling and
               Ulrich Nickel},
  title     = {Typisierung und Verifikation zeitlicher Anforderungen automotiver
               Software Systeme},
  booktitle = {MBEES},
  year      = {2007},
  pages     = {73-82},
  ee        = {http://www.sse-tubs.de/publications/CGRS_MBEES_InfoBericht_07.pdf},
  crossref  = {DBLP:conf/mbees/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/mbees/2007,
  editor    = {Mirko Conrad and
               Holger Giese and
               Bernhard Rumpe and
               Bernhard Sch{\"a}tz},
  title     = {Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter
               Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007,
               Tagungsband Modellbasierte Entwicklung eingebetteter Systeme},
  booktitle = {MBEES},
  publisher = {TU Braunschweig, Institut f{\"u}r Software Systems Engineering},
  series    = {Informatik-Bericht},
  volume    = {2007-1},
  year      = {2007},
  ee        = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES07Proceedings.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}