Department of Mathematics and Computer Science

Research Output

Filter
Phd Thesis 3 (Research TU/e / Graduation NOT TU/e)
2005

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

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

Research output: ThesisPhd Thesis 3 (Research TU/e / Graduation NOT TU/e)

Open Access
File
126 Downloads (Pure)
1989

Syntax-directed verification of distributed systems

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

Research output: ThesisPhd Thesis 3 (Research TU/e / Graduation NOT TU/e)

Open Access
File
28 Downloads (Pure)