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]
@inproceedings{FallahiBT13,
title = {Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking},
author = {Narges Fallahi and Borzoo Bonakdarpour and Sébastien Tixeuil},
year = {2013},
doi = {10.1109/SRDS.2013.24},
url = {http://doi.ieeecomputersociety.org/10.1109/SRDS.2013.24},
researchr = {https://researchr.org/publication/FallahiBT13},
cites = {0},
citedby = {0},
pages = {153-162},
booktitle = {IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013},
publisher = {IEEE},
isbn = {978-0-7695-5115-9},
}