Probabilistic Model Checking: 2010-2011
Timetables
Lecturer |
|
Term |
Michaelmas Term 2010 (20 lectures) |
Practicals |
Michaelmas Term 2010PMC - Wednesday, 9:00 - 11:00 ( Weeks 3,4,6,7,8 ) Room 379 |
Lectures |
Michaelmas Term 2010Tuesday, 14:00 - 15:00 ( Weeks 1-8 ) Room 478 Wednesday, 14:00 - 15:00 ( Weeks 1-8 ) Room 478 Wednesday, 15:00 - 16:00 ( Weeks 1-4 ) Room 478 |