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
Created from the Publication Database of the Vienna University of Technology.