Tsuchiya, TatsuhiroSchiper, André2008-05-272008-05-272008-05-27200710.1109/SRDS.2007.20https://infoscience.epfl.ch/handle/20.500.14299/25952Model Checking of Consensus Algorithmstext::conference output::conference proceedings::conference paper