Unity in Diversity: A stratified Approach to the Verification of Distributed Algorithms

T.E.J. Vos

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Utrecht University
Supervisors/Advisors	Swierstra, S.D., Primary supervisor Meyer, John-Jules, Supervisor
Award date	10 Jan 2000
Place of Publication	Rotterdam
Publisher	Optima
Print ISBNs	90-393-2316-X
Publication status	Published - 10 Jan 2000

Keywords

@phdthesis{b407694418844df0ba8bd4724fa4f9d2,

title = "Unity in Diversity: A stratified Approach to the Verification of Distributed Algorithms",

keywords = "Wiskunde en Informatica (WIIN)",

author = "T.E.J. Vos",

year = "2000",

month = jan,

day = "10",

language = "English",

isbn = "90-393-2316-X",

series = "IPA Dissertation Series ",

publisher = "Optima",

type = "Doctoral thesis 1 (Research UU / Graduation UU)",

school = "Utrecht University",

}

TY - THES

T1 - Unity in Diversity: A stratified Approach to the Verification of Distributed Algorithms

AU - Vos, T.E.J.

PY - 2000/1/10

Y1 - 2000/1/10

KW - Wiskunde en Informatica (WIIN)

UR - http://www.cs.uu.nl/library/docs/theses.html

M3 - Doctoral thesis 1 (Research UU / Graduation UU)

SN - 90-393-2316-X

T3 - IPA Dissertation Series

PB - Optima

CY - Rotterdam

ER -