@misc{indiciaecae3a455f54e,
  title = {Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata},
  author = {Yuan Feng and Lei Song and Lijun Zhang},
  year = {2015},
  url = {https://arxiv.org/abs/1512.05027},
  note = {Source identifier: 1512.05027}
}