On distributed verification and verified distribution

S.M. Orzan

Research output: Thesis › Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Centrum voor Wiskunde en Informatica Vrije Universiteit Amsterdam
Supervisors/Advisors	Fokkink, Wan J., Promotor van de Pol, Jaco, Copromotor
Award date	25 Nov 2004
Place of Publication	Amsterdam
Publisher	Vrije Universiteit Amsterdam
Publication status	Published - 2004

Access to Document

@phdthesis{5ceb0a4f7fa542b5b68f19be5fdd8a05,

title = "On distributed verification and verified distribution",

author = "S.M. Orzan",

year = "2004",

language = "English",

publisher = "Vrije Universiteit Amsterdam",

type = "Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)",

school = "Centrum voor Wiskunde en Informatica, Vrije Universiteit Amsterdam",

}