Model Checking Abilities of Agents: A Closer Look. Jamroga, W. & Dix, J. Theory Comput. Syst., 42(3):366-410, 2008. Link bibtex @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}
}
Downloads: 0
{"_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"]}