Probabilistic Model Checking: 2011-2012

Timetables

Lecturer	David Parker
Term	Michaelmas Term 2011 (20 lectures)
Classes	Michaelmas Term 2011 Group 1 - Tuesday, 15:00 - 16:00 ( Weeks 3,5,7,8 ) Room 105 Group 2 - Wednesday, 12:00 - 13:00 ( Weeks 3,5,7,8 ) Room 380
Practicals	Michaelmas Term 2011 Tuesday, 16:00 - 18:00 ( Weeks 3,4,6,7,8 ) Room 379
Lectures	Michaelmas Term 2011 Monday, 14:00 - 15:00 ( Weeks 1-8 ) Lecture Theatre B Wednesday, 15:00 - 16:00 ( Weeks 1-8 ) Lecture Theatre B Thursday, 12:00 - 13:00 ( Weeks 1-4 ) Lecture Theatre B