Publikationen

Gehrke, Matthias; Hirsch, Martin; Nickel, Ulrich; Niggemann, Oliver; Schäfer, Wilhelm; Stichling, Dirk: Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. In Tagungsband des Dagstuhl-Workshops "Modellbasierte Entwicklung eingebetteter Systeme III" (MBEES), 15.-18. Januar 2007, Schloß Dagstuhl, Informatik-Bericht 2007-01 der TU Braunschweig, Jan 2007.

Bibtex:

@INPROCEEDINGS{Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.,
     author={Gehrke, Matthias and Hirsch, Martin and Nickel, Ulrich and Niggemann, Oliver and Schäfer, Wilhelm and Stichling, Dirk},
     title={Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.},
     abstract={},
     booktitle={},
     year={2007},
     month={Jan},
     publisher={In Tagungsband des Dagstuhl-Workshops "Modellbasierte Entwicklung eingebetteter Systeme III" (MBEES), 15.-18. Januar 2007, Schloß Dagstuhl, Informatik-Bericht 2007-01 der TU Braunschweig},
     address={},
     editor={},
     pages={},
     organisation={},
}

Download: Bibtex.txt