@inproceedings{ dblp3544458,
  title = {Optimal Strategies in Priced Timed Game Automata},
  author = {Patricia Bouyer and Franck Cassez and Emmanuel Fleury and Kim Guldstrand Larsen},
  author_short = {Bouyer, P. and Cassez, F. and Fleury, E. and Guldstrand Larsen, K.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2004},
  key = {dblp3544458},
  id = {dblp3544458},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fsttcs/BouyerCFL04},
  url = {http://dx.doi.org/10.1007/978-3-540-30538-5_13},
  conference = {FSTTCS},
  pages = {148-160},
  text = {FSTTCS 2004:148-160},
  booktitle = {Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS)}
}

{"_id":"ofsLBWLfAjj5omsAx","bibbaseid":"bouyer-cassez-fleury-guldstrandlarsen-optimalstrategiesinpricedtimedgameautomata-2004","downloads":0,"creationDate":"2015-03-18T10:58:01.722Z","title":"Optimal Strategies in Priced Timed Game Automata","author_short":["Bouyer, P.","Cassez, F.","Fleury, E.","Guldstrand Larsen, K."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fsttcs/BouyerCFL04","bibdata":{"title":"Optimal Strategies in Priced Timed Game Automata","author":["Patricia Bouyer","Franck Cassez","Emmanuel Fleury","Kim Guldstrand Larsen"],"author_short":["Bouyer, P.","Cassez, F.","Fleury, E.","Guldstrand Larsen, K."],"bibtype":"inproceedings","type":"inproceedings","year":"2004","key":"dblp3544458","id":"dblp3544458","biburl":"http://www.dblp.org/rec/bibtex/conf/fsttcs/BouyerCFL04","url":"http://dx.doi.org/10.1007/978-3-540-30538-5_13","conference":"FSTTCS","pages":"148-160","text":"FSTTCS 2004:148-160","booktitle":"Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS)","bibtex":"@inproceedings{ dblp3544458,\n title = {Optimal Strategies in Priced Timed Game Automata},\n author = {Patricia Bouyer and Franck Cassez and Emmanuel Fleury and Kim Guldstrand Larsen},\n author_short = {Bouyer, P. and Cassez, F. and Fleury, E. and Guldstrand Larsen, K.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2004},\n key = {dblp3544458},\n id = {dblp3544458},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fsttcs/BouyerCFL04},\n url = {http://dx.doi.org/10.1007/978-3-540-30538-5_13},\n conference = {FSTTCS},\n pages = {148-160},\n text = {FSTTCS 2004:148-160},\n booktitle = {Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS)}\n}","bibbaseid":"bouyer-cassez-fleury-guldstrandlarsen-optimalstrategiesinpricedtimedgameautomata-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-30538-5_13"},"downloads":0},"search_terms":["optimal","strategies","priced","timed","game","automata","bouyer","cassez","fleury","guldstrand larsen"],"keywords":[],"authorIDs":[],"dataSources":["fXryu8dbNuBQ9Pd88"]}