@incollection{BW14,
  title = "The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata",
  author = "Breugel, Franck van and Worrell, James",
  year = "2014",
  booktitle = "Horizons of the Mind. A Tribute to Prakash Panangaden",
  month = "May",
  pages = "191-213",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "8464",
}