en | de

Introduction to Model Checking

master program

VO1  WS 2007/2008  703503

Time & Place

Monday from 13:15 to 14:00 in HS C. The first lecture will be on October 8.