The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

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 ∧