TY  - RPRT
TI  - Simulations and Antichains for Efficient Handling of Finite Automata
AU  - Lukáš Holík
PY  - 2017
UR  - https://arxiv.org/abs/1706.03208
ID  - 1706.03208
ER  -