@InProceedings{   FijalkowGimbertOualhadja,
  Author        = {Fijalkow, Nathana{\"e}l and Gimbert, Hugo and Oualhadj, Youssouf},
  BookTitle     = "LICS",
  date-added    = "2012-08-10 07:42:23 +0200",
  date-modified = "2012-08-10 07:43:09 +0200",
  Keywords      = "probabilistic automata",
  Title         = "Deciding the Value 1 Problem of Probabilistic Leaktight Automata",
  Year          = "2012",
  File          = "Deciding the Value 1 Problem of Probabilistic Leaktight Automata - Fijalkow, Gimbert, Oualhadj (0) (0) - a - a - s.pdf"
}

@InProceedings{ FijalkowGimbertOualhadja, Author = {Fijalkow, Nathana{\"e}l and Gimbert, Hugo and Oualhadj, Youssouf}, BookTitle = "LICS", date-added = "2012-08-10 07:42:23 +0200", date-modified = "2012-08-10 07:43:09 +0200", Keywords = "probabilistic automata", Title = "Deciding the Value 1 Problem of Probabilistic Leaktight Automata", Year = "2012", File = "Deciding the Value 1 Problem of Probabilistic Leaktight Automata - Fijalkow, Gimbert, Oualhadj (0) (0) - a - a - s.pdf" }