Verification of a Distributed Algorithm (Abstract).

Kaisa Sere, Marina Waldn

Browse the full PODC paper archive.