@article{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 - {IFIP} {WG} 6.1 International Conference, {FORTE} 2025},
team = {axe_SharedResources, axe_FormalProofs, axe_Mohytos, RSD},
}
