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
Verifying memory consistency in mCRL2
Wessel T.H. Sinnema
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
21 Sep 2020
Original language
English
Supervisor
Jeroen J.A. Keiren
(Supervisor 1)
Cite this
Standard
Verifying memory consistency in mCRL2
Sinnema, W. T. H. (Author).
21 Sep 2020
Student thesis
:
Master
Documents
Sinnema, W.
File
:
application/pdf, 606 KB
Type
:
Thesis