@article{ DBLP:journals/mst/JamrogaD08,
  author    = {Wojciech Jamroga and Jürgen Dix},
  title     = {Model Checking Abilities of Agents: A Closer Look},
  journal   = {Theory Comput. Syst.},
  pages   = {366-410},
  volume   = {42},
  number   = {3},
  ee   = {http://dx.doi.org/10.1007/s00224-007-9080-z} ,
  year   = {2008}
}

{"_id":{"_str":"520be4fba9e4b91d2f0006e2"},"__v":11,"authorIDs":["545717bc2abc8e9f3700004f","5458ab55b43425b772000191"],"author_short":["Jamroga, W.","Dix, J."],"bibbaseid":"jamroga-dix-modelcheckingabilitiesofagentsacloserlook-2008","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Wojciech"],"propositions":[],"lastnames":["Jamroga"],"suffixes":[]},{"firstnames":["Jürgen"],"propositions":[],"lastnames":["Dix"],"suffixes":[]}],"title":"Model Checking Abilities of Agents: A Closer Look","journal":"Theory Comput. Syst.","pages":"366-410","volume":"42","number":"3","ee":"http://dx.doi.org/10.1007/s00224-007-9080-z","year":"2008","bibtex":"@article{ DBLP:journals/mst/JamrogaD08,\n author = {Wojciech Jamroga and Jürgen Dix},\n title = {Model Checking Abilities of Agents: A Closer Look},\n journal = {Theory Comput. Syst.},\n pages = {366-410},\n volume = {42},\n number = {3},\n ee = {http://dx.doi.org/10.1007/s00224-007-9080-z} ,\n year = {2008}\n}\n\n\n","author_short":["Jamroga, W.","Dix, J."],"key":"DBLP:journals/mst/JamrogaD08","id":"DBLP:journals/mst/JamrogaD08","bibbaseid":"jamroga-dix-modelcheckingabilitiesofagentsacloserlook-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/s00224-007-9080-z"},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblpjamroga_wojciechbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["model","checking","abilities","agents","closer","look","jamroga","dix"],"title":"Model Checking Abilities of Agents: A Closer Look","title_words":["model","checking","abilities","agents","closer","look"],"year":2008,"dataSources":["PtLPL9vBCraumfiPu"]}