Media type: E-Book Title: Deductive Verification of a Byzantine Agreement Protocol Contributor: Krenický, Roman [Author]; Ulbrich, Mattias [Author] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2010 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2010,7 Extent: Online-Ressource Language: English Origination: Footnote: Access State: Open Access