Faculteit Wiskunde & Informatica

Onderzoeksoutput

Filter
Dissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)
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
118 Downloads (Pure)
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
24 Downloads (Pure)