@misc{indiciae941e473e528c,
  title = {Computation for Supremal Simulation-Based Controllable and Strong Observable Subautomata},
  author = {Yajuan Sun and Hai Lin and Fuchun Liu},
  year = {2011},
  url = {https://arxiv.org/abs/1101.3500},
  note = {Source identifier: 1101.3500}
}