Skip to content

LAA

Seminar

On LTL with the freeze quantifier and register automata

Lazic, R (Warwick)
Friday 07 July 2006, 10:30-11:00

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 ∧