@InProceedings{   LNCS72130437,
  Author        = "Chen, Di and van Breugel, Franck and Worrell, James",
  Editor        = "Birkedal, Lars",
  BookTitle     = "Foundations of Software Science and Computational Structures",
  date-added    = "2012-04-02 12:45:49 +0200",
  date-modified = "2012-09-13 09:13:17 +0200",
  ISBN          = "978-3-642-28728-2",
  Keywords      = "bisimulation equivalence",
  Location      = "Heidelberg",
  Pages         = "437--451",
  Publisher     = "Springer",
  Series        = "Lecture Notes in Computer Science",
  Title         = "On the Complexity of Computing Probabilistic Bisimilarity",
  Volume        = "7213",
  Year          = "2012",
  File          = "On the Complexity of Computing Probabilistic Bisimilarity - Chen, Breugel, Worrell (0) (0) - a - a - d.pdf"
}

@InProceedings{ LNCS72130437, Author = "Chen, Di and van Breugel, Franck and Worrell, James", Editor = "Birkedal, Lars", BookTitle = "Foundations of Software Science and Computational Structures", date-added = "2012-04-02 12:45:49 +0200", date-modified = "2012-09-13 09:13:17 +0200", ISBN = "978-3-642-28728-2", Keywords = "bisimulation equivalence", Location = "Heidelberg", Pages = "437--451", Publisher = "Springer", Series = "Lecture Notes in Computer Science", Title = "On the Complexity of Computing Probabilistic Bisimilarity", Volume = "7213", Year = "2012", File = "On the Complexity of Computing Probabilistic Bisimilarity - Chen, Breugel, Worrell (0) (0) - a - a - d.pdf" }