TY  - RPRT
TI  - From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
AU  - Nir Piterman
PY  - 2007
DO  - 10.2168/lmcs-3(3:5)2007
UR  - https://arxiv.org/abs/0705.2205
ID  - 0705.2205
ER  -