Department of Mathematics and Computer Science

Onderzoeksoutput

Filter
Dissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)
1989

Syntax-directed verification of distributed systems

Gerth, R. T., 1989, Utrecht: Utrecht University. 191 blz.

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

Open Access
Bestand
26 Downloads (Pure)
2005

Game, set, maths : formal investigations into logic with imperfect information

Dechesne, F., 2005, Tilburg: Universiteit van Tilburg. 165 blz.

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

Open Access
Bestand
125 Downloads (Pure)