@misc{indiciaed5b26e3b5dff,
  title = {Implementation of the algorithm for testing an automaton for synchronization in linear expected time},
  author = {Pavel Ageev},
  year = {2017},
  url = {https://arxiv.org/abs/1710.00258},
  note = {Source identifier: 1710.00258}
}