en | de

Model Checking

Masterstudium

VO2  SS 2009  703521

Time & Place

Tuesdays from 9:15 to 10:45 in HS 10 and Wednesdays from 15:00 to 16:30 in HS 11. The first Tuesday lecture will be on March 3. The first Wednesday lecture will be on March 18.