A correctness proof of a distributed minimum-weight spanning tree algorithm / F.A. Stomp, W.P. de Roever
type: Book
type: CreativeWork
type: ProductModel
issued: 1987
about: p075598876
author: p073318833
author: p075422344
contributor: p068477848
language: en
is part of: p044783248
main entity of page: https://data.bibliotheken.nl/.well-known/genid/42798c878d7767018bbb144e4d864f51
name: A correctness proof of a distributed minimum-weight spanning tree algorithm
number of pages: 30