en | de

Model Checking

master program

VO2  SS 2009  703521


To learn for an exam it might be useful to have a look at previous exams.

The first (written and closed book) exam (solution, results) was on May 29, 12:30-14:30.

If there is need for a second or third exam, just contact me.