@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",
  note = "to appear in CAV 2011",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/cav11.pdf",
}