Probabilistic Model Checking: 2009-2010
Timetables
Lecturer |
|
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
|