title = {A formal analysis of a dynamic distributed spanning tree algorithm},
author = {Arjan J. Mooij and Wieger Wesselink},
institution = {Technische Univ. Eindhoven, Fac. Wiskunde en Informatica},
address = {P.O. Box 513, 5600 MB Eindhoven, The Netherlands},
month = {Dec},
year = {2003},
url = {}}

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!