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