Publikationen

Otterbach, Rainer; Niggemann, Oliver; Stroop, Joachim; Thümmler, Axel; Kiffmeier, Ulrich: System Verification throughout the Development Cycle. ATZ Automobiltechnische Zeitschrift (Edition 004/2007), Vieweg Verlag / GWV Fachverlage GmbH Co-author of Henning Wallentowitz/Konrad Reif (Hrsg.), Handbuch Kraftfahrzeugelektronik, Vieweg Verlag , Apr 2007.

Bibtex:

@INPROCEEDINGS{System Verification throughout the Development Cycle.,
     author={Otterbach, Rainer and Niggemann, Oliver and Stroop, Joachim and Thümmler, Axel and Kiffmeier, Ulrich},
     title={System Verification throughout the Development Cycle.},
     abstract={},
     booktitle={},
     year={2007},
     month={Apr},
     publisher={ATZ Automobiltechnische Zeitschrift (Edition 004/2007), Vieweg Verlag / GWV Fachverlage GmbH Co-author of Henning Wallentowitz/Konrad Reif (Hrsg.), Handbuch Kraftfahrzeugelektronik, Vieweg Verlag },
     address={},
     editor={},
     pages={},
     organisation={},
}

Download: Bibtex.txt