Registered user since Thu 28 Mar 2019
Name:Tim Quatmann
Country:Germany
Affiliation:RWTH Aachen University
Personal website: https://moves.rwth-aachen.de/people/quatmann/
Research interests:Model Checking
Contributions
Using general profile
ATVA 2025
Mon 27 - Fri 31 October 2025 Bengaluru, India
- Attending
- Sponsorship
- Program
- Tracks
- Organization
- ATVA 2025 Committees
- Artifact Evaluation Committee
- Programme Committee
- Organizing Committee
- General Chair
- Contributors
- People Index
- Search
- Series