Skip to main navigation
Skip to search
Skip to main content
Eindhoven University of Technology research portal Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
A symbolic approach to PBES instantiation
T.P.M. Boshoven
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
25 Sept 2015
Original language
English
Supervisor
Tim A.C. Willemse
(Supervisor 1)
Cite this
Standard
A symbolic approach to PBES instantiation
Boshoven, T. P. M. (Author).
25 Sept 2015
Student thesis
:
Master
Documents
full text
File
:
application/pdf, 735 KB
Type
:
Thesis