I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Übung zu Model Checking
held by: Prof. Dr. habil. Martin Leucker
held in: SS 2009
schedule: Thursday, 12:45 - 14:15 (MI 03.09.014)
    start date: 2009-04-23 / end date: 2009-07-23

sws: 2