View of Distributed algorithms and their verification with Byzantine model checker

Return to Issue Details Distributed algorithms and their verification with Byzantine model checker Download Download PDF