BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@mastersthesis{TUW-137461,
    author = {Scholz, Bernhard},
    title = {Symbolische Verifikation von Echtzeitprogrammen},
    school = {Institut f{\"u}r Automation},
    year = {1996}
}


1 Datensatz ausgegeben