Sciweavers

CONCUR
2006
Springer

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

13 years 8 months ago
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
Orna Kupferman, Sarai Sheinvald-Faragy
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where CONCUR
Authors Orna Kupferman, Sarai Sheinvald-Faragy
Comments (0)