Fast and Compact Distributed Verification and Self-stabilization of a DFS Tree.

Shay Kutten, Chhaya Trehan

Browse the full OPODIS paper archive.