Home | deutsch  | Legals | Sitemap | KIT

Seminar: Software-Model-Checking

Seminar: Software-Model-Checking
type: Seminar
chair: Fakultät für Informatik
semester: Sommersemester 2010
place:

seminar room 131 (50.34)

time:

Mo (19.04.2010), 14:00-15:30 (einmalig)

lecturer: Florian Merz
Stephan Falke
Carsten Sinz
sws: 2
lv-no.: 24839