TY - RPRT TI - Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm AU - Karine Altisen AU - Marius Bozga PY - 2025 UR - https://arxiv.org/abs/2502.17035 ID - 2502.17035 ER -