On distributed verification and verified distribution

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Centrum voor Wiskunde en Informatica
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, Wan J., Promotor
  • van de Pol, Jaco, Copromotor
Award date25 Nov 2004
Place of PublicationAmsterdam
Publisher
Publication statusPublished - 2004

Cite this

Orzan, S. M. (2004). On distributed verification and verified distribution. Amsterdam: Vrije Universiteit Amsterdam.
Orzan, S.M.. / On distributed verification and verified distribution. Amsterdam : Vrije Universiteit Amsterdam, 2004.
@phdthesis{5ceb0a4f7fa542b5b68f19be5fdd8a05,
title = "On distributed verification and verified distribution",
author = "S.M. Orzan",
year = "2004",
language = "English",
publisher = "Vrije Universiteit Amsterdam",
school = "Centrum voor Wiskunde en Informatica, Vrije Universiteit Amsterdam",

}

Orzan, SM 2004, 'On distributed verification and verified distribution', Doctor of Philosophy, Centrum voor Wiskunde en Informatica, Amsterdam.

On distributed verification and verified distribution. / Orzan, S.M.

Amsterdam : Vrije Universiteit Amsterdam, 2004.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

TY - THES

T1 - On distributed verification and verified distribution

AU - Orzan, S.M.

PY - 2004

Y1 - 2004

M3 - Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

PB - Vrije Universiteit Amsterdam

CY - Amsterdam

ER -

Orzan SM. On distributed verification and verified distribution. Amsterdam: Vrije Universiteit Amsterdam, 2004.