@InProceedings{   LNCS72130467,
  Author        = {Kiefer, Stefan and Murawski, Andrzej S. and Ouaknine, Jo\"{e}l and Wachter, Bj\"{o}rn and Worrell, James},
  Editor        = "Birkedal, Lars",
  BookTitle     = "Foundations of Software Science and Computational Structures",
  date-added    = "2012-04-02 12:45:18 +0200",
  date-modified = "2012-04-02 12:45:40 +0200",
  ISBN          = "978-3-642-28728-2",
  Keywords      = "probabilistic automata and readme",
  Location      = "Heidelberg",
  Pages         = "467--481",
  Publisher     = "Springer",
  Series        = "Lecture Notes in Computer Science",
  Title         = "On the Complexity of the Equivalence Problem for Probabilistic Automata",
  Volume        = "7213",
  Year          = "2012",
  File          = "On the Complexity of the Equivalence Problem for Probabilistic Automata - Kiefer, Murawski, Ouaknine, Wachter, Worrell (0) (0) - a - a - r.pdf"
}

@InProceedings{ LNCS72130467, Author = {Kiefer, Stefan and Murawski, Andrzej S. and Ouaknine, Jo\"{e}l and Wachter, Bj\"{o}rn and Worrell, James}, Editor = "Birkedal, Lars", BookTitle = "Foundations of Software Science and Computational Structures", date-added = "2012-04-02 12:45:18 +0200", date-modified = "2012-04-02 12:45:40 +0200", ISBN = "978-3-642-28728-2", Keywords = "probabilistic automata and readme", Location = "Heidelberg", Pages = "467--481", Publisher = "Springer", Series = "Lecture Notes in Computer Science", Title = "On the Complexity of the Equivalence Problem for Probabilistic Automata", Volume = "7213", Year = "2012", File = "On the Complexity of the Equivalence Problem for Probabilistic Automata - Kiefer, Murawski, Ouaknine, Wachter, Worrell (0) (0) - a - a - r.pdf" }