TY  - RPRT
TI  - Fast and compact self-stabilizing verification, computation, and fault detection of an MST
AU  - Amos Korman
AU  - Shay Kutten
AU  - Toshimitsu Masuzawa
PY  - 2015
DO  - 10.1007/s00446-015-0242-y
UR  - https://arxiv.org/abs/1512.07800
ID  - 1512.07800
ER  -