Automated Validation of a Co-operation Protocol for Distributed Systems.

Kurt Geihs, Manfred H. Seifert

Browse the full ICDCS paper archive.