TY - RPRT TI - Distributed Verification and Hardness of Distributed Approximation AU - Atish Das Sarma AU - Stephan Holzer AU - Liah Kor AU - Amos Korman AU - Danupon Nanongkai AU - Gopal Pandurangan AU - David Peleg AU - Roger Wattenhofer PY - 2011 UR - https://arxiv.org/abs/1011.3049 ID - 1011.3049 ER -