@inproceedings{ DBLP:conf/tark/AgotnesGJ07,
  author    = {Thomas ÁAgotnes and Valentin Goranko and Wojciech Jamroga},
  title     = {Alternating-time temporal logics with irrevocable strategies},
  booktitle   = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
  pages   = {15-24},
  ee   = {http://doi.acm.org/10.1145/1324249.1324256} ,
  year   = {2007}
}

{"_id":{"_str":"52049cb7d40bcbb041001048"},"__v":11,"authorIDs":["5458ab55b43425b772000191","546a0109bc7d6a460d001679"],"author_short":["ÁAgotnes, T.","Goranko, V.","Jamroga, W."],"bibbaseid":"agotnes-goranko-jamroga-alternatingtimetemporallogicswithirrevocablestrategies-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["ÁAgotnes"],"suffixes":[]},{"firstnames":["Valentin"],"propositions":[],"lastnames":["Goranko"],"suffixes":[]},{"firstnames":["Wojciech"],"propositions":[],"lastnames":["Jamroga"],"suffixes":[]}],"title":"Alternating-time temporal logics with irrevocable strategies","booktitle":"Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007","pages":"15-24","ee":"http://doi.acm.org/10.1145/1324249.1324256","year":"2007","bibtex":"@inproceedings{ DBLP:conf/tark/AgotnesGJ07,\n author = {Thomas ÁAgotnes and Valentin Goranko and Wojciech Jamroga},\n title = {Alternating-time temporal logics with irrevocable strategies},\n booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},\n pages = {15-24},\n ee = {http://doi.acm.org/10.1145/1324249.1324256} ,\n year = {2007}\n}\n\n\n","author_short":["ÁAgotnes, T.","Goranko, V.","Jamroga, W."],"key":"DBLP:conf/tark/AgotnesGJ07","id":"DBLP:conf/tark/AgotnesGJ07","bibbaseid":"agotnes-goranko-jamroga-alternatingtimetemporallogicswithirrevocablestrategies-2007","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/1324249.1324256"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblpjamroga_wojciechbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["alternating","time","temporal","logics","irrevocable","strategies","áagotnes","goranko","jamroga"],"title":"Alternating-time temporal logics with irrevocable strategies","title_words":["alternating","time","temporal","logics","irrevocable","strategies"],"year":2007,"dataSources":["PtLPL9vBCraumfiPu"]}