en | de

Einführung in Model Checking

Masterstudium

VO1  WS 2007/2008  703503

Lehrender

Raum Sprechstunde
Rene Thiemann 3M09 Dienstag10:15 – 11:15