@Article{         BaierBertrandGroesser,
  Author        = "Baier, Christel and Bertrand, Nathalie and Groesser, Marcus",
  date-added    = "2012-04-13 11:30:30 +0200",
  date-modified = "2012-04-13 11:32:38 +0200",
  Journal       = "Journal of the ACM",
  Keywords      = "probabilistic automata",
  Number        = "1",
  Title         = "Probabilistic omega-Automata",
  Volume        = "59",
  Year          = "2012",
  bdsk-url-1    = "http://dl.acm.org/citation.cfm?doid=2108242.2108243",
  File          = "Probabilistic omega-Automata - Baier, Bertrand, Groesser (0) (0) (0) - a - a - c.pdf"
}

@Article{ BaierBertrandGroesser, Author = "Baier, Christel and Bertrand, Nathalie and Groesser, Marcus", date-added = "2012-04-13 11:30:30 +0200", date-modified = "2012-04-13 11:32:38 +0200", Journal = "Journal of the ACM", Keywords = "probabilistic automata", Number = "1", Title = "Probabilistic omega-Automata", Volume = "59", Year = "2012", bdsk-url-1 = "http://dl.acm.org/citation.cfm?doid=2108242.2108243", File = "Probabilistic omega-Automata - Baier, Bertrand, Groesser (0) (0) (0) - a - a - c.pdf" }