Skip to content

LAA

Seminar

Experimental evaluation of complementation of non-deterministic Buechi automata

Tabakov, D (Rice)

Thursday 06 July 2006, 12:15-12:30

Seminar Room 1, Newton Institute

Back to top ∧