TY  - RPRT
TI  - Assisted Problem Solving and Decompositions of Finite Automata
AU  - Peter Gaži
AU  - Branislav Rovan
PY  - 2007
UR  - https://arxiv.org/abs/0707.0430
ID  - 0707.0430
ER  -