BibTeX record: conf/mbees/GehrkeHSNSN07

download as .bib file

@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 = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
               Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband
               Modellbasierte Entwicklung eingebetteter Systeme},
  year      = {2007},
  pages     = {73--82},
  crossref  = {DBLP:conf/mbees/2007},
  url       = {http://www.sse-tubs.de/publications/CGRS_MBEES_InfoBericht_07.pdf},
  timestamp = {Sat, 01 Nov 2014 01:39:55 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mbees/GehrkeHSNSN07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {Informatik-Bericht},
  year      = {2007},
  volume    = {2007-1},
  publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
  url       = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES07Proceedings.pdf},
  timestamp = {Sat, 01 Nov 2014 01:39:55 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mbees/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}