On Distributed Verification.

Amos Korman, Shay Kutten

Browse the full ICDCN paper archive.