@phdthesisWit1999, Author = {Wittich, G.},Title = {Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme},Year = {1999},Month = {08},Address = {Oldenburg},type = {phdthesis} @COMMENTBibtex file generated on