2 of 2 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×1Mo 12:00-14:005055 (2356|055)×10Mo 16:30-18:00AH II (2350|111)×12Di 18:30-20:00AH III (2350|314.1)×1Do 09:50-15:005052 (2356|052) |
| Introduction to Model Checking | Übung | 0 | ×13Fr 12:30-14:00AH II (2350|111) |