A formal analysis of a dynamic distributed spanning tree algorithm
type: Book
type: ProductModel
type: CreativeWork
issued: 2003
about: p075598876
about: p190396571
author: p242104800
author: p075492466
contributor: p153316594
language: en
is part of: p124667155
main entity of page: https://data.bibliotheken.nl/.well-known/genid/a2cc58ac1f3485a61e2990dd9715cdc2
number of pages: 26
label: A formal analysis of a dynamic distributed spanning tree algorithm / by Arjan J. Mooij and Wieger Wesselink