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
Testing the Linux VFS with two mCRL2 models
R.T.E.H. Dresens
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
31 Jan 2007
Original language
English
Supervisor
Jan Friso Groote
(Supervisor 1)
Cite this
Standard
Testing the Linux VFS with two mCRL2 models
Dresens, R. T. E. H. (Author).
31 Jan 2007
Student thesis
:
Master
Documents
full text
File
:
application/pdf, 724 KB
Type
:
Thesis