Ali Ebnenasir, Alex P. Klinkhamer. Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes. IEEE Trans. Software Eng., 47(3):614-629, 2021. [doi]
@article{EbnenasirK21,
title = {Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes},
author = {Ali Ebnenasir and Alex P. Klinkhamer},
year = {2021},
doi = {10.1109/TSE.2019.2901485},
url = {https://doi.org/10.1109/TSE.2019.2901485},
researchr = {https://researchr.org/publication/EbnenasirK21},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {47},
number = {3},
pages = {614-629},
}