@article{DBLP:journals/tocl/MogaveroMPV14,
  author       = {Fabio Mogavero and
                  Aniello Murano and
                  Giuseppe Perelli and
                  Moshe Y. Vardi},
  title        = {Reasoning About Strategies: On the Model-Checking Problem},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {15},
  number       = {4},
  pages        = {34:1--34:47},
  year         = {2014},
  url          = {https://doi.org/10.1145/2631917},
  doi          = {10.1145/2631917},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/MogaveroMPV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"aZKYj9dnxJukcyNjT","bibbaseid":"mogavero-murano-perelli-vardi-reasoningaboutstrategiesonthemodelcheckingproblem-2014","authorIDs":["27AAjNDH3eGyX3kAG","5e597ced8049fcde01000032","5e5fa91819c3fade010000c4","5e610d2131c7d3de0100025f","5e65076e9eed46de0100004a","5e6aaadaf216f6de01000129","62BzuGuQtetH6F3cf","73Rh8BSJgqcii5cD3","7aQ2zeLMoyj6CHpBu","8QYqvnERKkScTLpXt","939RNK33yrPF4hHck","9QZmYec3ABqZqB9ed","9R3rFYeegwqLCtFQ7","9y2sud2AwvG4Tfdrm","Am2578MapgxQHtFf4","AqbTCnnCr8sLjTmdv","Ax9iPx6jhgbzjgAsq","C4ESoeg7imBRZM8Wr","DCAwSuxCjnszReHdG","FSKJKgCA2iK6ike3h","G2yqkXwcYagjLqEat","Gj4YRNsBu7wtb4vXY","HcptFeK4rg5nYWiFa","HfSGhTtE2kahBfnm8","HuLSgG4PJuPLGpoMZ","JYgujoQ6Yr9gf5vNm","JqvuFYYZoqT3y5hMJ","JsDz5ZfswX5PojvGF","L9SALwZHK7h4cnemm","M8ugQbFqc7J2SZZkb","MFXN3rfY97dER4uaF","MZzQLYonZyupKJJTW","Mj26qo7ejPRPakyYe","P7Rrykvikzyq7PH8F","SJHQwhWmEBwe2BkD3","TXDn8che9rTzjmrA5","W7Y9wsvLY9xYhYm7h","WrDgnRcn4BB4Pa2dL","XFeNGvuLa7vugKn8p","b932A83vqaao9vcAc","g5b8qR96euxXJQuwo","kWEPDQzitMRJ7Zfhd","kZpNRST28n9ZjkEjH","n5xPfBLskvCDRBk9A","pJotjgR9RGRzfaYDG","phZeTXoR5izbbuka9","qNnrc72DLfCFyCBuC","qWWZLuDKbdrQDYuXX","uiiEzMohLiEYpDQLf","uj2FY3LBd7XX9c4LZ","wGdyWcm2XzfxzJTEK","xPnSDmeSsJoXtiWXX","xWfKBfkZej5XRKp8G"],"author_short":["Mogavero, F.","Murano, A.","Perelli, G.","Vardi, M. Y."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Fabio"],"propositions":[],"lastnames":["Mogavero"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["Perelli"],"suffixes":[]},{"firstnames":["Moshe","Y."],"propositions":[],"lastnames":["Vardi"],"suffixes":[]}],"title":"Reasoning About Strategies: On the Model-Checking Problem","journal":"ACM Trans. Comput. Log.","volume":"15","number":"4","pages":"34:1–34:47","year":"2014","url":"https://doi.org/10.1145/2631917","doi":"10.1145/2631917","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tocl/MogaveroMPV14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tocl/MogaveroMPV14,\n author = {Fabio Mogavero and\n Aniello Murano and\n Giuseppe Perelli and\n Moshe Y. Vardi},\n title = {Reasoning About Strategies: On the Model-Checking Problem},\n journal = {{ACM} Trans. Comput. Log.},\n volume = {15},\n number = {4},\n pages = {34:1--34:47},\n year = {2014},\n url = {https://doi.org/10.1145/2631917},\n doi = {10.1145/2631917},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tocl/MogaveroMPV14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mogavero, F.","Murano, A.","Perelli, G.","Vardi, M. Y."],"key":"DBLP:journals/tocl/MogaveroMPV14","id":"DBLP:journals/tocl/MogaveroMPV14","bibbaseid":"mogavero-murano-perelli-vardi-reasoningaboutstrategiesonthemodelcheckingproblem-2014","role":"author","urls":{"Paper":"https://doi.org/10.1145/2631917"},"metadata":{"authorlinks":{"perelli, g":"https://giuseppeperelli.github.io/oldsite/"}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/41/1330.bib","creationDate":"2020-02-28T21:04:10.071Z","downloads":0,"keywords":[],"search_terms":["reasoning","strategies","model","checking","problem","mogavero","murano","perelli","vardi"],"title":"Reasoning About Strategies: On the Model-Checking Problem","year":2014,"dataSources":["Hsp4YyumSZ65qLatJ","kSN38gKTSZ2dArL6M","P3TQkzzbYMHFrjwn4","rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"]}