Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Model checking using multiple GPUs
Y. Qi
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
17 Dec 2018
Original language
English
Supervisor
Anton J. Wijs
(Supervisor 1)
Cite this
Standard
Model checking using multiple GPUs
Qi, Y. (Author).
17 Dec 2018
Student thesis
:
Master
Documents
Yuyang-thesis-07-11-2018
File
:
application/pdf, 518 KB
Type
:
Thesis