@phdthesis{Hupf2009,
  author      = {Katharina Hupf},
  title       = {Zeitbewertete Pr{\"a}dikat/Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme},
  type        = {doctoralthesis},
  pages       = {xii, 136},
  school      = {Universit{\"a}t Koblenz, Universit{\"a}tsbibliothek},
  year        = {2009},
}