Publications
Rather group by categories.
| 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 |