Course Details

Back

K1101-MA0019Ü Model Checking (E)

Instructors: Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
Event type: Exercise
Org-unit: Faculty of Computer Science
Hours per week: 4
Language of instruction: English

Literature

Appointments
Date From To Room Instructors
1 Fri, 14. Oct. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
2 Fri, 21. Oct. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
3 Fri, 28. Oct. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
4 Fri, 4. Nov. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
5 Fri, 11. Nov. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
6 Fri, 18. Nov. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
7 Fri, 25. Nov. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
8 Fri, 2. Dec. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
9 Fri, 9. Dec. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
10 Fri, 16. Dec. 2022 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
11 Fri, 6. Jan. 2023 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
12 Fri, 13. Jan. 2023 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
13 Fri, 20. Jan. 2023 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
14 Fri, 27. Jan. 2023 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
15 Fri, 3. Feb. 2023 09:20 12:40 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz

Class session overview

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15

Instructors
  • Dr.-Ing. Sascha Klüppelholz
  • Prof. Dr. rer. nat. Christine Baier