An Automatic Real-Time Analysis of the Time to Reach Consensus

Tsuchiya, TatsuhiroSchiper, André2008-05-272008-05-272008-05-27200710.1109/PRDC.2007.10https://infoscience.epfl.ch/handle/20.500.14299/25953An Automatic Real-Time Analysis of the Time to Reach Consensustext::conference output::conference proceedings::conference paper