Sciweavers

TACAS
2005
Springer

Complementation Constructions for Nondeterministic Automata on Infinite Words

14 years 6 months ago
Complementation Constructions for Nondeterministic Automata on Infinite Words
Orna Kupferman, Moshe Y. Vardi
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where TACAS
Authors Orna Kupferman, Moshe Y. Vardi
Comments (0)