Rabin vs. Streett Automata

Udi Boker. Rabin vs. Streett Automata. In Satya V. Lokam, R. Ramanujam, editors, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India. Volume 93 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Udi Boker

This author has not been identified. Look up 'Udi Boker' in Google