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

@inproceedings{TUW-137133,
    author = {Schmid, Ulrich and Weiss, Bettina and Rushby, John},
    title = {Formally Verified Byzantine Agreement in Presence of Link Faults},
    booktitle = {Proceedings of the 22nd Conference on Distributed Computer Systems (ICDCS'02)},
    year = {2002},
    pages = {608--616},
    url = {http://www.auto.tuwien.ac.at/Projects/W2F/papers.html},
    isbn = {0-7695-1585-1},
    note = {talk: 22nd Conference on Distributed Computer Systems (ISDCS), Vienna, Austria; 2002-07-02 -- 2002-07-05}
}


1 Datensatz ausgegeben