@phdthesis{Wit1999,
Author = {Wittich, G.},
Title = {Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme},

Year = {1999},
Month = {08},
Address = {Oldenburg},
type = {phdthesis}
}
@COMMENT{Bibtex file generated on }