TY - RPRT TI - Fast and Compact Distributed Verification and Self-Stabilization of a DFS Tree AU - Shay Kutten AU - Chhaya Trehan PY - 2014 UR - https://arxiv.org/abs/1408.0384 ID - 1408.0384 ER -