Skip to content

LAA

Seminar

Linear constraints in probabilistic model checking

Kwiatkowska, MZ (University of Birmingham)
Thursday 11 May 2006, 09:00-10:00

Seminar Room 1, Newton Institute

Presentation

[pdf ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧