@inproceedings{AB5,
title = { Revisited Convergence of a Self-stabilizing {BFS} Spanning Tree Algorithm },
author = {Altisen, Karine and Bozga, Marius},
year = {2025},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 45th {IFIP} {WG} 6.1 International Conference, {FORTE} 2025, Lille, France, June 16-20, 2025, Proceedings},
pages = {154--170},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {15732},
team = {axe_SharedResources, axe_FormalProofs, axe_Mohytos, RSD},
}
