Automata, Games, and Verification

Bernd Finkbeiner

Timetable

Title Type Location Serial Start End All Day
Lecture Lecture E1.3 HS003 1 31.12.24 31.12.24 No 
Lecture Lecture E1.3 HS003 1 15.10.24 15.10.24 No 
Lecture Lecture E1.3 HS003 1 14.01.25 14.01.25 No 
Lecture Lecture E1.3 HS003 1 21.01.25 21.01.25 No 
Lecture Lecture E1.3 HS003 1 28.01.25 28.01.25 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.