Modular Verification of Distributed Systems.

Richard M. Nemes

Browse the full ICDCS paper archive.