Probabilistic Model Checking: 2016-2017
Timetables
Lecturer |
|
Term |
Michaelmas Term 2016 (20 lectures) |
Classes |
Michaelmas Term 2016Group 1 - Monday, 16:00 - 17:00 ( Weeks 4,5,7,8 ) Room 051 Group 2 - Tuesday, 17:00 - 18:00 ( Weeks 4,5,7,8 ) Room 051 |
Practicals |
Michaelmas Term 2016Tuesday, 9:00 - 11:00 ( Weeks 3,4,6,8 ) T6.09 |
Lectures |
Michaelmas Term 2016Wednesday, 9:00 - 10:00 ( Weeks 1-4 ) LTB Thursday, 11:00 - 12:00 ( Weeks 1-8 ) LTB Friday, 10:00 - 11:00 ( Weeks 1-8 ) LTB |