From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata

Nir Piterman. From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata. Logical Methods in Computer Science, 3(3), 2007. [doi]

Abstract

Abstract is missing.