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

Back to top ∧