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

@mastersthesis{TUW-137767,
    author = {Kripp-Kalnoky, Ludmilla},
    title = {Vergleich verschiedener Verfahren zur temporalen Spezifikation},
    school = {Institut f{\"u}r Technische Informatik},
    year = {1990}
}


1 Datensatz ausgegeben