%0 Conference Paper %1 conf/icdcs/StompR87 %A Stomp, Frank A. %A de Roever, Willem P. %B ICDCS %D 1987 %I IEEE Computer Society %K dblp %P 440-447 %T A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). %U http://dblp.uni-trier.de/db/conf/icdcs/icdcs87.html#StompR87

@inproceedings{conf/icdcs/StompR87, added-at = {2013-11-27T00:00:00.000+0100}, author = {Stomp, Frank A. and de Roever, Willem P.}, biburl = {https://www.bibsonomy.org/bibtex/2c3a9a6877f9e5cd288468fa9f0ced571/dblp}, booktitle = {ICDCS}, crossref = {conf/icdcs/1987}, interhash = {423d1b6fd93a6c0b43c1a9198e09daa0}, intrahash = {c3a9a6877f9e5cd288468fa9f0ced571}, keywords = {dblp}, pages = {440-447}, publisher = {IEEE Computer Society}, timestamp = {2013-11-28T11:35:03.000+0100}, title = {A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract).}, url = {http://dblp.uni-trier.de/db/conf/icdcs/icdcs87.html#StompR87}, year = 1987 }