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),
- 2002-07-05; in: "Proceedings of the 22nd Conference on Distributed Computer Systems (ICDCS'02)",
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.