Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Summer term
2022
2.01.486 Seminar: Strategien im Model-Checking -
Event date(s) | room
- Mittwoch, 20.4.2022 14:15 - 15:45 | A03 2-209
Location
- Blockseminar - Für weitere Informationen sprechen Sie bitte die Lehrenden an.
Lecturers
SWS
--
Lehrsprache
deutsch