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

@mastersthesis{TUW-273448,
    author = {Fimml, Patrik},
    title = {Temporal-Epistemic Logic in Byzantine Message-Passing Contexts},
    school = {Institut f{\"u}r Computer Engineering},
    year = {2018},
    url = {https://publik.tuwien.ac.at/files/publik_273448.pdf}
}


1 Datensatz ausgegeben