en | de

Model Checking

master program

VO2  SS 2010  703521


Mar 10: Course cancelled
Unfortunately, there were too few students attending the course such that this course had to be cancelled.
Mar 9: Slides available
The slides of chapter 1 are available on the schedule-page
Jan 7: News system
Check this site regularly for updates.