If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Phd Thesis 1 (Research TU/e / Graduation TU/e)
2013

Advanced reduction techniques for model checking

Keiren, J. J. A., 2013, Eindhoven: Technische Universiteit Eindhoven. 195 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
199 Downloads (Pure)