Research Output

Filter
Phd Thesis 2 (Research NOT TU/e / Graduation TU/e)
2011

An illumination of the template enigma : software code generation with templates

Arnoldus, B. J., 2011, Eindhoven: Technische Universiteit Eindhoven. 249 p.

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

Open Access
File
833 Downloads (Pure)
2002

Linearization in muCRL

Usenko, Y. S., 2002, Eindhoven: Technische Universiteit Eindhoven. 189 p.

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

Open Access
File
102 Downloads (Pure)
1999

Nonlinear approaches to satisfiability problems

Warners, J. P., 1999, Eindhoven: Technische Universiteit Eindhoven. 158 p.

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

Open Access
File
388 Downloads (Pure)