{"_id":{"_str":"52016e14d40bcbb04100094c"},"__v":12,"authorIDs":["545717bc2abc8e9f3700004f","5458ab55b43425b772000191"],"author_short":["Jamroga, W.","Dix, J."],"bibbaseid":"jamroga-dix-turninggamemodelsturnbasedformodelcheckingpropertiesofagents-2005","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Wojciech"],"propositions":[],"lastnames":["Jamroga"],"suffixes":[]},{"firstnames":["Jürgen"],"propositions":[],"lastnames":["Dix"],"suffixes":[]}],"title":"Turning Game Models Turn-Based for Model Checking Properties of Agents","booktitle":"BNAIC 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005","pages":"143-150","year":"2005","bibtex":"@inproceedings{ DBLP:conf/bnaic/JamrogaD05,\n author = {Wojciech Jamroga and Jürgen Dix},\n title = {Turning Game Models Turn-Based for Model Checking Properties of Agents},\n booktitle = {BNAIC 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005},\n pages = {143-150} ,\n year = {2005}\n}\n\n\n","author_short":["Jamroga, W.","Dix, J."],"key":"DBLP:conf/bnaic/JamrogaD05","id":"DBLP:conf/bnaic/JamrogaD05","bibbaseid":"jamroga-dix-turninggamemodelsturnbasedformodelcheckingpropertiesofagents-2005","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblpjamroga_wojciechbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["turning","game","models","turn","based","model","checking","properties","agents","jamroga","dix"],"title":"Turning Game Models Turn-Based for Model Checking Properties of Agents","title_words":["turning","game","models","turn","based","model","checking","properties","agents"],"year":2005,"dataSources":["PtLPL9vBCraumfiPu"]}