Fast and compact self stabilizing verification, computation, and fault detection of an MST.

Amos Korman, Shay Kutten, Toshimitsu Masuzawa

Browse the full PODC paper archive.