@InProceedings{   BS-qapl2013,
  Author        = "Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe",
  Address       = "Roma, Italy",
  BookTitle     = "{P}roceedings of the 11th {I}nternational {W}orkshop on {Q}uantitative {A}spects of {P}rogramming {L}anguages ({QAPl}'13)",
  date-added    = "2013-03-21 20:01:22 +0000",
  date-modified = "2013-03-21 20:04:11 +0000",
  Keywords      = "stochastic games and lossy channel systems and well-structured transition systems and readme",
  Month         = "March",
  Note          = "To appear",
  Title         = {Solving stochastic B{\"u}chi games on infinite arenas with a finite attractor},
  URL           = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BS-qapl2013.pdf",
  Year          = "2013",
  bdsk-url-1    = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BS-qapl2013.pdf",
  File          = "Solving stochastic Büchi games on infinite arenas with a finite attractor - Bertrand, Schnoebelen (0) (1) - a - a - m.pdf"
}

@InProceedings{ BS-qapl2013, Author = "Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe", Address = "Roma, Italy", BookTitle = "{P}roceedings of the 11th {I}nternational {W}orkshop on {Q}uantitative {A}spects of {P}rogramming {L}anguages ({QAPl}'13)", date-added = "2013-03-21 20:01:22 +0000", date-modified = "2013-03-21 20:04:11 +0000", Keywords = "stochastic games and lossy channel systems and well-structured transition systems and readme", Month = "March", Note = "To appear", Title = {Solving stochastic B{\"u}chi games on infinite arenas with a finite attractor}, URL = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BS-qapl2013.pdf", Year = "2013", bdsk-url-1 = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BS-qapl2013.pdf", File = "Solving stochastic Büchi games on infinite arenas with a finite attractor - Bertrand, Schnoebelen (0) (1) - a - a - m.pdf" }