%0 Conference Paper %1 conf/fsttcs/MogaveroMV10 %A Mogavero, Fabio %A Murano, Aniello %A Vardi, Moshe Y. %B FSTTCS %D 2010 %E Lodaya, Kamal %E Mahajan, Meena %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 133-144 %T Reasoning About Strategies. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2010.html#MogaveroMV10 %V 8 %@ 978-3-939897-23-1

@inproceedings{conf/fsttcs/MogaveroMV10, added-at = {2018-08-23T00:00:00.000+0200}, author = {Mogavero, Fabio and Murano, Aniello and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2861e9581b47076f334477b69c86646c2/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2010}, editor = {Lodaya, Kamal and Mahajan, Meena}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.133}, interhash = {3309d2057c17b671a8bb0ed9c5d5b801}, intrahash = {861e9581b47076f334477b69c86646c2}, isbn = {978-3-939897-23-1}, keywords = {dblp}, pages = {133-144}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:46:09.000+0200}, title = {Reasoning About Strategies.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2010.html#MogaveroMV10}, volume = 8, year = 2010 }