@misc{indiciae2b9177f19d46,
  title = {Complexity of checking whether two automata are synchronized by the same language},
  author = {Marina Maslennikova},
  year = {2014},
  url = {https://arxiv.org/abs/1405.3576},
  note = {Source identifier: 1405.3576}
}