A correctness proof of a distributed minimum-weight spanning tree algorithm

W.P. Roever, de, F.A. Stomp

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 7th International Conference on Distributed Computing Systems (Berlin, Germany, September 23-25, 1987)
PublisherIEEE Computer Society
Pages440-448
Publication statusPublished - 1987

Cite this