Louis E. Rosier;Hsu-Chun Yen
Univ. of Texas, Austin;Iowa State Univ., Ames and Univ. of Texas, Austin
Decidability analysis of self-stabilization for infinite-state systems
Fundamenta Informaticae
Decidability Analysis of Self-Stabilization for Infinite-State Systems