Probabilistic Model Checking
information |
timetables |
course material
| past exam papers
|
Lecturer
|
David Parker |
|
Term
|
Michaelmas Term 2009 (20 lectures)
|
|
Lectures
|
Monday,
15:00 - 16:00
(
Weeks 1-8 )
Room 478
Wednesday,
15:00 - 16:00
(
Weeks 1-8 )
Room 478
Thursday,
15:00 - 16:00
(
Weeks 1-4 )
Room 478
|
|
