Syntax-directed verification of distributed systems

R.T. Gerth

Onderzoeksoutput: ScriptieDissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)Academic

TaalEngels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Utrecht University
Begeleider(s)/adviseur
  • Roever, de, W.P., Promotor
  • Leeuwen, van, J., Promotor, Externe Persoon
Datum van toekenning8 mei 1989
Plaats van publicatieUtrecht
Uitgever
StatusGepubliceerd - 1989

Citeer dit

Gerth, R. T. (1989). Syntax-directed verification of distributed systems Utrecht: Utrecht University
Gerth, R.T.. / Syntax-directed verification of distributed systems. Utrecht : Utrecht University, 1989. 191 blz.
@phdthesis{dfdbf1cfd5174e3cb910c7790583e683,
title = "Syntax-directed verification of distributed systems",
author = "R.T. Gerth",
year = "1989",
language = "English",
publisher = "Utrecht University",
address = "Netherlands",
school = "Utrecht University",

}

Gerth, RT 1989, 'Syntax-directed verification of distributed systems', Doctor in de Filosofie, Utrecht University, Utrecht.

Syntax-directed verification of distributed systems. / Gerth, R.T.

Utrecht : Utrecht University, 1989. 191 blz.

Onderzoeksoutput: ScriptieDissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)Academic

TY - THES

T1 - Syntax-directed verification of distributed systems

AU - Gerth,R.T.

PY - 1989

Y1 - 1989

M3 - Phd Thesis 3 (Research TU/e / Graduation NOT TU/e)

PB - Utrecht University

CY - Utrecht

ER -

Gerth RT. Syntax-directed verification of distributed systems. Utrecht: Utrecht University, 1989. 191 blz.