TY  - RPRT
TI  - Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata
AU  - Sven Schewe
PY  - 2011
UR  - https://arxiv.org/abs/1007.1333
ID  - 1007.1333
ER  -