[1] Elke Pulvermüller. Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens. PhD thesis, Friedrich-Schiller-Universität Jena, January 2006.
bib ]