Amos Korman, Shay Kutten. On Distributed Verification. In Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura, editors, Distributed Computing and Networking, 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Volume 4308 of Lecture Notes in Computer Science, pages 100-114, Springer, 2006. [doi]
Abstract is missing.