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