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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 7th International Conference on Distributed Computing Systems (Berlin, Germany, September 23-25, 1987)
Publisher	IEEE Computer Society
Pages	440-448
Publication status	Published - 1987

Cite this

@inproceedings{f920e09d2ee84f20ab2f64167f00f317,

title = "A correctness proof of a distributed minimum-weight spanning tree algorithm",

author = "\{Roever, de\}, W.P. and F.A. Stomp",

year = "1987",

language = "English",

pages = "440--448",

booktitle = "Proceedings 7th International Conference on Distributed Computing Systems (Berlin, Germany, September 23-25, 1987)",

publisher = "IEEE Computer Society",

address = "United States",

}

A correctness proof of a distributed minimum-weight spanning tree algorithm. / Roever, de, W.P.; Stomp, F.A.
Proceedings 7th International Conference on Distributed Computing Systems (Berlin, Germany, September 23-25, 1987). IEEE Computer Society, 1987. p. 440-448.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review