1. Laurent Prosperi, Roman Kuznets, Ulrich Schmid, Knowlege in Byzantine Message-Passing Systems, E185 - Institut für Computersprachen, E182 - Institut Technische Informatik; Technische Universität Wien, 2017. Details