I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Model-Checking SS 2018

  News | Basic information | Content | Exercises | Slides | Links | Exam

Exam

  • Date: 24.07.2018
  • Time: 11:00 – 13:00
  • Room: 5620.01.102
  • Duration: 120 mins.
  • No material allowed

Past exams