[Back]


Talks and Poster Presentations (with Proceedings-Entry):
U. Schmid, B. Weiss, J. Rushby:
"Formally Verified Byzantine Agreement in Presence of Link Faults";
Talk: 22nd Conference on Distributed Computer Systems (ISDCS), Vienna, Austria; 2002-07-02 - 2002-07-05; in: "Proceedings of the 22nd Conference on Distributed Computer Systems (ICDCS'02)", (2002), ISBN: 0-7695-1585-1; 608 - 616.

Electronic version of the publication:
http://www.auto.tuwien.ac.at/Projects/W2F/papers.html