@TechReport{      EDI-INF-RR-1416,
  Author        = "Abdulla, Parosh A. and Clemente, Lorenzo and Mayr, Richard and Sandberg, Sven",
  date-added    = "2013-05-27 13:29:15 +0000",
  date-modified = "2013-05-27 13:31:24 +0000",
  Institution   = "University of Edinburgh",
  Note          = "arXiv:1305.5228 and \url{http://www.inf.ed.ac.uk/publications/report/1416.html}",
  Number        = "EDI-INF-RR-1416",
  Title         = "Stochastic Parity Games on Lossy Channel Systems",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1305.5228",
  bdsk-url-2    = "http://www.inf.ed.ac.uk/publications/report/1416.html",
  File          = "Stochastic Parity Games on Lossy Channel Systems - Abdulla, Clemente, Mayr, Sandberg (0) (1) - a - a - i.pdf"
}

@TechReport{ EDI-INF-RR-1416, Author = "Abdulla, Parosh A. and Clemente, Lorenzo and Mayr, Richard and Sandberg, Sven", date-added = "2013-05-27 13:29:15 +0000", date-modified = "2013-05-27 13:31:24 +0000", Institution = "University of Edinburgh", Note = "arXiv:1305.5228 and \url{http://www.inf.ed.ac.uk/publications/report/1416.html}", Number = "EDI-INF-RR-1416", Title = "Stochastic Parity Games on Lossy Channel Systems", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1305.5228", bdsk-url-2 = "http://www.inf.ed.ac.uk/publications/report/1416.html", File = "Stochastic Parity Games on Lossy Channel Systems - Abdulla, Clemente, Mayr, Sandberg (0) (1) - a - a - i.pdf" }