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.
@inproceedings{StompR87, title = {A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract)}, author = {Frank A. Stomp and Willem P. de Roever}, year = {1987}, researchr = {https://researchr.org/publication/StompR87}, cites = {0}, citedby = {0}, pages = {440-447}, booktitle = {ICDCS}, }