Büchi Complementation Made Tighter

Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi. Büchi Complementation Made Tighter. Int. J. Found. Comput. Sci., 17(4):851-868, 2006. [doi]

Authors

Ehud Friedgut

This author has not been identified. Look up 'Ehud Friedgut' in Google

Orna Kupferman

This author has not been identified. Look up 'Orna Kupferman' in Google

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google