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}
}