Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report UU-CS-1995-07

select other reports


techrep_id file title / author
UU-CS-1995-07 ps.gz
Formal design of self-stabilizing programs
S. W. B. Prasetya, S. D. Swierstra

indexed authors

author group
Prasetya, dr. S.W.B. all reports Software Technology all reports
Swierstra, prof. dr. (em.) S.D. all reports Software Technology all reports

BibTeX entry

author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 1995,
title = {Formal design of self-stabilizing programs},
number = {UU-CS-1995-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{}},
urlpdf = {{}},
pubcat = {techreport}