@Article{         Abdulla:2014fk,
  Author        = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Hofman, Piotr and Mayr, Richard and Kumar, K. Narayan and Totzke, Patrick",
  date-added    = "2014-06-26 13:22:54 +0000",
  date-modified = "2014-06-26 13:22:58 +0000",
  EPrint        = "1405.0628",
  Month         = "05",
  Title         = "Infinite-State Energy Games",
  URL           = "http://arxiv.org/abs/1405.0628",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1405.0628",
  File          = "Infinite-State Energy Games - Abdulla, Atig, Hofman, Mayr, Kumar, Totzke (0) (0) - a - a - s.pdf"
}

@Article{ Abdulla:2014fk, Author = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Hofman, Piotr and Mayr, Richard and Kumar, K. Narayan and Totzke, Patrick", date-added = "2014-06-26 13:22:54 +0000", date-modified = "2014-06-26 13:22:58 +0000", EPrint = "1405.0628", Month = "05", Title = "Infinite-State Energy Games", URL = "http://arxiv.org/abs/1405.0628", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1405.0628", File = "Infinite-State Energy Games - Abdulla, Atig, Hofman, Mayr, Kumar, Totzke (0) (0) - a - a - s.pdf" }