Skip to content

LAA

Seminar

Model checking games for fixpoint logic with Chop

Lange, M (Munich)
Thursday 06 July 2006, 16:00-16:30

Seminar Room 1, Newton Institute

Abstract

http://www.games.rwth-aachen.de/History/PastEvents/cambridge06.html

Presentation

[pdf ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧