Sciweavers

57
Voted
CONCUR
2006
Springer

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

15 years 20 days 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)