en | de

Introduction to Model Checking

master program

VO1  WS 2008/2009  703503

Lecturer

room consultation hours
Rene Thiemann 3M09 Tuesday10:15 – 11:15