On Distributed Verification and Verified Distribution

S.M. Orzan

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, W.J., Supervisor
  • van de Pol, J.C., Co-supervisor, External person
Place of PublicationVrije Universiteit
Publication statusPublished - 2004

Bibliographical note

Naam instelling promotie: Vrije Universiteit

Cite this

Orzan, S. M. (2004). On Distributed Verification and Verified Distribution. Vrije Universiteit.
Orzan, S.M.. / On Distributed Verification and Verified Distribution. Vrije Universiteit, 2004.
@phdthesis{c2f569360a6949a9944af2c719593424,
title = "On Distributed Verification and Verified Distribution",
author = "S.M. Orzan",
note = "Naam instelling promotie: Vrije Universiteit",
year = "2004",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Orzan, SM 2004, 'On Distributed Verification and Verified Distribution', PhD, Vrije Universiteit Amsterdam, Vrije Universiteit.

On Distributed Verification and Verified Distribution. / Orzan, S.M.

Vrije Universiteit, 2004.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

TY - THES

T1 - On Distributed Verification and Verified Distribution

AU - Orzan, S.M.

N1 - Naam instelling promotie: Vrije Universiteit

PY - 2004

Y1 - 2004

M3 - PhD Thesis - Research external, graduation VU

CY - Vrije Universiteit

ER -

Orzan SM. On Distributed Verification and Verified Distribution. Vrije Universiteit, 2004.