On distributed verification and verified distribution

S.M. Orzan

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Centrum voor Wiskunde en Informatica
  • Vrije Universiteit Amsterdam
Begeleider(s)/adviseur
  • Fokkink, Wan J., Promotor
  • van de Pol, Jaco, Co-Promotor
Datum van toekenning25 nov 2004
Plaats van publicatieAmsterdam
Uitgever
StatusGepubliceerd - 2004

Citeer dit