From Program Verification to Synthesis

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski

Timetable

Date Overview Show Calendar
Event Category
Background
Title
Background - Automata and LTL
Location
Room 1.06 in E1 1 and online  
Details
 
Starttime
04.05.2022 10:15
Endtime
04.05.2022 10:45
the whole day
No
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.