TY  - RPRT
TI  - Nondeterministic automata: equivalence, bisimulations, and uniform relations
AU  - Miroslav Ćirić
AU  - Jelena Ignjatović
AU  - Milan Bašić
AU  - Ivana Jančić
PY  - 2011
UR  - https://arxiv.org/abs/1102.5449
ID  - 1102.5449
ER  -