An Improved Lower Bound for the Complementation of Rabin Automata

Type
Publication
In the 24th Annual IEEE Symposium on Logic in Computer Science.
Date