en | de

Introduction to Model Checking

master program

VO1  WS 2009/2010  703503

Time & Place

Wednesday from 12:15 to 13:45 in HS F. The first lecture will be on October 14.