Easy Yet Hard: Model Checking Strategies of Agents. Jamroga, W. In Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers, pages 1-12, 2008.
Link bibtex @inproceedings{ DBLP:conf/clima/Jamroga08,
author = {Wojciech Jamroga},
title = {Easy Yet Hard: Model Checking Strategies of Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers},
pages = {1-12},
ee = {http://dx.doi.org/10.1007/978-3-642-02734-5_1} ,
year = {2008}
}
Downloads: 0
{"_id":{"_str":"5342c59a0e946d920a0036d5"},"__v":6,"authorIDs":["5458ab55b43425b772000191"],"author_short":["Jamroga, W."],"bibbaseid":"jamroga-easyyethardmodelcheckingstrategiesofagents-2008","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Wojciech"],"propositions":[],"lastnames":["Jamroga"],"suffixes":[]}],"title":"Easy Yet Hard: Model Checking Strategies of Agents","booktitle":"Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers","pages":"1-12","ee":"http://dx.doi.org/10.1007/978-3-642-02734-5_1","year":"2008","bibtex":"@inproceedings{ DBLP:conf/clima/Jamroga08,\n author = {Wojciech Jamroga},\n title = {Easy Yet Hard: Model Checking Strategies of Agents},\n booktitle = {Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers},\n pages = {1-12},\n ee = {http://dx.doi.org/10.1007/978-3-642-02734-5_1} ,\n year = {2008}\n}\n\n\n","author_short":["Jamroga, W."],"key":"DBLP:conf/clima/Jamroga08","id":"DBLP:conf/clima/Jamroga08","bibbaseid":"jamroga-easyyethardmodelcheckingstrategiesofagents-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-02734-5_1"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblpjamroga_wojciechbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["easy","hard","model","checking","strategies","agents","jamroga"],"title":"Easy Yet Hard: Model Checking Strategies of Agents","year":2008,"dataSources":["PtLPL9vBCraumfiPu"]}