Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
Link opens in a new tab
English
Nederlands
Search content at Research portal Eindhoven University of Technology
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
Fairness Assumptions in the Modal µ-Calculus
Myrthe S.C. Spronck
Mathematics and Computer Science
Algorithms and Logics for Verification
Student thesis
:
Master
Date of Award
7 Sept 2023
Original language
English
Supervisor
Tim A.C. Willemse
(Supervisor 1)
Cite this
Standard
Fairness Assumptions in the Modal µ-Calculus
Spronck, M. S. C. (Author).
7 Sept 2023
Student thesis
:
Master
Documents
pdf
File
:
application/pdf, 1.34 MB
Type
:
Thesis