pulvermueller_theses.bib

@phdthesis{Pu06,
  author = {Pulverm\"uller, Elke},
  title = {{Verifikation von Komponenten-basierten Systemen auf Basis eines
            erweiterten temporalen Verifikationsverfahrens.}},
  school = {Friedrich-Schiller-Universit\"at Jena},
  year = {2006},
  month = {January},
  language = {German},
  mytype = {THESIS}
}