Chair for Verification and
Synthesis of Reactive Systems
People
Research
Publications
Tools
Student Projects
Courses
Zone State Diagrams – Model Checking Data-Intensive Real-Time Systems
Michael Gerke
·
Master Thesis
Contact
Data Privacy Policy
Imprint
Home
People
Publications
More
Research
Tools
Projects
Courses
