all_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}
}
@phdthesis{Goe93b,
  author = {G{\"o}ers, Jutta},
  title = {Ein neues Konzept zur integrierten CIM-Informationsverwaltung und seine Realisierung am Beispiel eines CAD- und Objektbanksystems},
  school = {Technische Universit{\"a}t Clausthal-Zellerfeld},
  year = {1993},
  mytype = {THESIS}
}