%0 Conference Paper %1 conf/concur/MogaveroMPV12 %A Mogavero, Fabio %A Murano, Aniello %A Perelli, Giuseppe %A Vardi, Moshe Y. %B CONCUR %D 2012 %E Koutny, Maciej %E Ulidowski, Irek %I Springer %K dblp %P 193-208 %T What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. %U http://dblp.uni-trier.de/db/conf/concur/concur2012.html#MogaveroMPV12 %V 7454 %@ 978-3-642-32939-5

@inproceedings{conf/concur/MogaveroMPV12, added-at = {2017-06-15T00:00:00.000+0200}, author = {Mogavero, Fabio and Murano, Aniello and Perelli, Giuseppe and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2dd29f791185fd0996a62720a2aa0eab2/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2012}, editor = {Koutny, Maciej and Ulidowski, Irek}, ee = {https://doi.org/10.1007/978-3-642-32940-1_15}, interhash = {5d4f93f233e817b4c1794e57016a0b43}, intrahash = {dd29f791185fd0996a62720a2aa0eab2}, isbn = {978-3-642-32939-5}, keywords = {dblp}, pages = {193-208}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:03.000+0200}, title = {What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2012.html#MogaveroMPV12}, volume = 7454, year = 2012 }