en | de

Model Checking

Masterstudium

VO2  SS 2008  703521

Time & Place

Tuesdays from 9:15 to 10:45 and some Thursdays from 12:15 to 13:15 in HS 10. The first lecture will be on March 4.