Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil. Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. In IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013. pages 153-162, IEEE, 2013. [doi]
Abstract is missing.