Treffer: Correctness proofs of distributed algorithms

Title:
Correctness proofs of distributed algorithms
Theory and Practice in Distributed Systems
Authors:
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (938):164-164
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings