Formal design of self-stabilizing programs: Theory and examples

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht, The Netherlands
Publisher	Utrecht University: Information and Computing Sciences
Volume	2000-07
Edition	UU-CS
ISBN (Print)	0924-3275
Publication status	Published - 2000

Keywords

@book{7bdcd87d9a304b3193fec8cecfdae05b,

title = "Formal design of self-stabilizing programs: Theory and examples",

keywords = "Wiskunde en Informatica (WIIN)",

author = "I.S.W.B. Prasetya and S.D. Swierstra",

year = "2000",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "2000-07",

publisher = "Utrecht University: Information and Computing Sciences",

edition = "UU-CS",

}

TY - BOOK

T1 - Formal design of self-stabilizing programs: Theory and examples

AU - Prasetya, I.S.W.B.

AU - Swierstra, S.D.

PY - 2000

Y1 - 2000

KW - Wiskunde en Informatica (WIIN)

M3 - Report

SN - 0924-3275

VL - 2000-07

BT - Formal design of self-stabilizing programs: Theory and examples

PB - Utrecht University: Information and Computing Sciences

CY - Utrecht, The Netherlands

ER -