TY  - RPRT
TI  - Index appearance record for transforming Rabin automata into parity automata
AU  - Jan Křetínský
AU  - Tobias Meggendorfer
AU  - Clara Waldmann
AU  - Maximilian Weininger
PY  - 2017
DO  - 10.1007/978-3-662-54577-5_26
UR  - https://arxiv.org/abs/1701.05738
ID  - 1701.05738
ER  -