Probabilistic Model Checking: 2013-2014
Timetables
|
Lecturer |
|
|
Term |
Michaelmas Term 2013 (20 lectures) |
|
Classes |
Michaelmas Term 2013Group 1 - Wednesday, 15:00 - 16:00 ( Weeks 4,5,7,8 ) room 051 Group 2 - Friday, 15:00 - 16:00 ( Weeks 4,5,7,8 ) Room 051 |
|
Practicals |
Michaelmas Term 2013Thursday, 9:00 - 11:00 ( Weeks 3,4,6,8 ) Room 379 |
|
Lectures |
Michaelmas Term 2013Monday, 10:00 - 11:00 ( Weeks 2-8 ) Lecture Theatre B Monday, 11:00 - 12:00 ( Weeks 2-7 ) Lecture Theatre B Tuesday, 10:00 - 11:00 ( Weeks 2-8 ) Lecture Theatre B |