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
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
A formal processor model in mCRL2
B.A.G. Bosch
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
31 Aug 2017
Original language
English
Supervisor
Jan Friso Groote
(Supervisor 1)
Cite this
Standard
A formal processor model in mCRL2
Bosch, B. A. G. (Author).
31 Aug 2017
Student thesis
:
Master
Documents
0914600 BAGBoschV1_1
File
:
application/pdf, 566 KB
Type
:
Thesis