[ACM Press the thirteenth annual ACM symposium - Los Angeles, California, United States (1994.08.14-1994.08.17)] Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 - Verification of a distributed algorithm (abstract)
Sere, Kaisa, Waldén, MarinaYear:
1994
Language:
english
DOI:
10.1145/197917.198170
File:
PDF, 111 KB
english, 1994