%0 Conference Paper %1 conf/ijcai/AvniGK17 %A Avni, Guy %A Guha, Shibashis %A Kupferman, Orna %B IJCAI %D 2017 %E Sierra, Carles %I ijcai.org %K dblp %P 70-76 %T An Abstraction-Refinement Methodology for Reasoning about Network Games. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#AvniGK17 %@ 978-0-9992411-0-3

@inproceedings{conf/ijcai/AvniGK17, added-at = {2019-08-20T00:00:00.000+0200}, author = {Avni, Guy and Guha, Shibashis and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/2a9573c4bc5d5ed793307eaa30f0e587b/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2017}, editor = {Sierra, Carles}, ee = {https://doi.org/10.24963/ijcai.2017/11}, interhash = {652c3782b5a809bd5922924e0810eb80}, intrahash = {a9573c4bc5d5ed793307eaa30f0e587b}, isbn = {978-0-9992411-0-3}, keywords = {dblp}, pages = {70-76}, publisher = {ijcai.org}, timestamp = {2019-08-21T11:50:23.000+0200}, title = {An Abstraction-Refinement Methodology for Reasoning about Network Games.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#AvniGK17}, year = 2017 }