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
mCRL2 lab
Jan Friso Groote
(Manager)
Formal System Analysis
Facility/equipment
:
Research lab
Overview
Equipments Details
Contact information
Name
Jan Friso Groote