%0 Journal Article %1 journals/tocl/MogaveroMPV14 %A Mogavero, Fabio %A Murano, Aniello %A Perelli, Giuseppe %A Vardi, Moshe Y. %D 2014 %J ACM Trans. Comput. Log. %K dblp %N 4 %P 34:1-34:47 %T Reasoning About Strategies: On the Model-Checking Problem. %U http://dblp.uni-trier.de/db/journals/tocl/tocl15.html#MogaveroMPV14 %V 15

@article{journals/tocl/MogaveroMPV14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Mogavero, Fabio and Murano, Aniello and Perelli, Giuseppe and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2927f7a1514c7f968188aa63a61e9d4be/dblp}, ee = {https://doi.org/10.1145/2631917}, interhash = {ad90cc302637abed008d18e455f489c1}, intrahash = {927f7a1514c7f968188aa63a61e9d4be}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 4, pages = {34:1-34:47}, timestamp = {2018-11-07T12:18:35.000+0100}, title = {Reasoning About Strategies: On the Model-Checking Problem.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl15.html#MogaveroMPV14}, volume = 15, year = 2014 }