Tatsuhiro Tsuchiya, André Schiper. An Automatic Real-Time Analysis of the Time to Reach Consensus. In 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia. pages 53-60, IEEE Computer Society, 2007. [doi]
Abstract is missing.