Towards the formal design of self-stabilizing distributed algorithms

Research output: Book/Report › Report › Academic

Keywords

@book{51c1b0d2583c4c999e95a165ba81d88a,

title = "Towards the formal design of self-stabilizing distributed algorithms",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "P. Lentfert and S.D. Swierstra",

year = "1992",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "92-25",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - Towards the formal design of self-stabilizing distributed algorithms

AU - Lentfert, P.

AU - Swierstra, S.D.

PY - 1992

Y1 - 1992

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 92-25

BT - Towards the formal design of self-stabilizing distributed algorithms

PB - Unknown Publisher

CY - Utrecht

ER -