Aly Farahat, Ali Ebnenasir. Lightweight Methods for Automated Design of Self-Stabilization. In 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. pages 2014-2017, IEEE, 2011. [doi]
@inproceedings{FarahatE11-0,
title = {Lightweight Methods for Automated Design of Self-Stabilization},
author = {Aly Farahat and Ali Ebnenasir},
year = {2011},
doi = {10.1109/IPDPS.2011.364},
url = {http://doi.ieeecomputersociety.org/10.1109/IPDPS.2011.364},
researchr = {https://researchr.org/publication/FarahatE11-0},
cites = {0},
citedby = {0},
pages = {2014-2017},
booktitle = {25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings},
publisher = {IEEE},
isbn = {978-1-61284-425-1},
}