@inproceedings{ dblp1995103,
  title = {Infinite-state energy games},
  author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Piotr Hofman and Richard Mayr and K. Narayan Kumar and Patrick Totzke},
  author_short = {Aziz Abdulla, P. and Faouzi Atig, M. and Hofman, P. and Mayr, R. and Narayan Kumar, K. and Totzke, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1995103},
  id = {dblp1995103},
  biburl = {http://www.dblp.org/rec/bibtex/conf/csl/AbdullaAHMKT14},
  url = {http://doi.acm.org/10.1145/2603088.2603100},
  conference = {CSL-LICS},
  pages = {7:1-7:10},
  text = {CSL-LICS 2014:7:1-7:10},
  booktitle = {Proceedings of CSL-LICS}
}

{"_id":"TkwzPdF57nQNhdnYF","bibbaseid":"azizabdulla-faouziatig-hofman-mayr-narayankumar-totzke-infinitestateenergygames-2014","downloads":0,"creationDate":"2016-02-23T13:20:43.539Z","title":"Infinite-state energy games","author_short":["Aziz Abdulla, P.","Faouzi Atig, M.","Hofman, P.","Mayr, R.","Narayan Kumar, K.","Totzke, P."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/AbdullaAHMKT14","bibdata":{"title":"Infinite-state energy games","author":["Parosh Aziz Abdulla","Mohamed Faouzi Atig","Piotr Hofman","Richard Mayr","K. Narayan Kumar","Patrick Totzke"],"author_short":["Aziz Abdulla, P.","Faouzi Atig, M.","Hofman, P.","Mayr, R.","Narayan Kumar, K.","Totzke, P."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1995103","id":"dblp1995103","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/AbdullaAHMKT14","url":"http://doi.acm.org/10.1145/2603088.2603100","conference":"CSL-LICS","pages":"7:1-7:10","text":"CSL-LICS 2014:7:1-7:10","booktitle":"Proceedings of CSL-LICS","bibtex":"@inproceedings{ dblp1995103,\n title = {Infinite-state energy games},\n author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Piotr Hofman and Richard Mayr and K. Narayan Kumar and Patrick Totzke},\n author_short = {Aziz Abdulla, P. and Faouzi Atig, M. and Hofman, P. and Mayr, R. and Narayan Kumar, K. and Totzke, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1995103},\n id = {dblp1995103},\n biburl = {http://www.dblp.org/rec/bibtex/conf/csl/AbdullaAHMKT14},\n url = {http://doi.acm.org/10.1145/2603088.2603100},\n conference = {CSL-LICS},\n pages = {7:1-7:10},\n text = {CSL-LICS 2014:7:1-7:10},\n booktitle = {Proceedings of CSL-LICS}\n}","bibbaseid":"azizabdulla-faouziatig-hofman-mayr-narayankumar-totzke-infinitestateenergygames-2014","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2603088.2603100"},"downloads":0},"search_terms":["infinite","state","energy","games","aziz abdulla","faouzi atig","hofman","mayr","narayan kumar","totzke"],"keywords":[],"authorIDs":["56cc5caba2250d015300020e"],"dataSources":["qgZW5trFyYpf26BfY"]}