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

Algorithms for automata-theoretic linear temporal logic model checking

Rozier, K (Rice)
Thursday 06 July 2006, 12:00-12:15

Seminar Room 1, Newton Institute

Abstract

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

Back to top ∧