@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