Veröffentlichungen
Lieber nach Kategorien gruppieren.
| Titel | Autor(en) | Quelle |
|---|---|---|
| Deductive Verification of a Byzantine Agreement Protocol | Roman Krenický und Mattias Ulbrich | Karlsruhe Institute of Technology, Department of Informatics 2010-7 |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Deductive Verification of a Byzantine Agreement Protocol | Roman Krenický und Mattias Ulbrich | Karlsruhe Institute of Technology, Department of Informatics 2010-7 |