Publications
Rather group chronologically.
Title | Author(s) | Source |
---|---|---|
Deductive Verification of a Byzantine Agreement Protocol | Roman Krenický and Mattias Ulbrich | Karlsruhe Institute of Technology, Department of Informatics 2010-7 |
Title | Author(s) | Source |
---|---|---|
Deductive Verification of a Byzantine Agreement Protocol | Roman Krenický and Mattias Ulbrich | Karlsruhe Institute of Technology, Department of Informatics 2010-7 |