en
|
de
Institute of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Introduction to Model Checking
introduction
news
exercises
feedback
lecturers
time & place
schedule
evaluation
Introduction to Model Checking
master program
VO1 WS 2008/2009
703503
Lecturer
room
consultation hours
René Thiemann
3M09
Monday
13:00 – 15:00