Frank A. Stomp, Willem P. de Roever. A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). In ICDCS. pages 440-447, 1987.
No references recorded for this publication.
No citations of this publication recorded.