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

@phdthesis{TUW-137554,
    author = {Kastner, Wolfgang},
    title = {Spezifikation und Verifikation eines zeitbasierenden Protokolls},
    school = {Institut f{\"u}r Automation},
    year = {1996}
}


1 Datensatz ausgegeben