TY  - RPRT
TI  - Implementation of the algorithm for testing an automaton for synchronization in linear expected time
AU  - Pavel Ageev
PY  - 2017
UR  - https://arxiv.org/abs/1710.00258
ID  - 1710.00258
ER  -