On distributed verification and verified distribution

S.M. Orzan

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