Hsu-Chun Yen, Lien-Po Yu. Decidability Analysis of Self-Stabilization for Infinite-State Systems. Fundamenta Informaticae, 70(4):387-402, 2006. [doi]
@article{YenY06:1,
title = {Decidability Analysis of Self-Stabilization for Infinite-State Systems},
author = {Hsu-Chun Yen and Lien-Po Yu},
year = {2006},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=70&issue=4&spage=387},
tags = {analysis},
researchr = {https://researchr.org/publication/YenY06%3A1},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {70},
number = {4},
pages = {387-402},
}