Veröffentlichungen

Lieber chronologisch gruppieren.

Workshopbeteiligungen, Positionspapiere und Technische Berichte

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