View of Distributed algorithms and their verification with Byzantine model checker

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