Sciweavers

CONCUR
2006
Springer

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

13 years 10 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)