Sciweavers

FSTTCS
2009
Springer

Mediating for Reduction (on Minimizing Alternating Büchi Automata)

14 years 7 months ago
Mediating for Reduction (on Minimizing Alternating Büchi Automata)
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Ho
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FSTTCS
Authors Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
Comments (0)