%0 Conference Paper %1 conf/sss/MariMSTACL09 %A Mari, Federico %A Melatti, Igor %A Salvo, Ivano %A Tronci, Enrico %A Alvisi, Lorenzo %A Clement, Allen %A Li, Harry C. %B SSS %D 2009 %E Guerraoui, Rachid %E Petit, Franck %I Springer %K dblp %P 531-546 %T Model Checking Coalition Nash Equilibria in MAD Distributed Systems. %U http://dblp.uni-trier.de/db/conf/sss/sss2009.html#MariMSTACL09 %V 5873 %@ 978-3-642-05117-3

@inproceedings{conf/sss/MariMSTACL09, added-at = {2019-09-25T00:00:00.000+0200}, author = {Mari, Federico and Melatti, Igor and Salvo, Ivano and Tronci, Enrico and Alvisi, Lorenzo and Clement, Allen and Li, Harry C.}, biburl = {https://www.bibsonomy.org/bibtex/2e644cef641f483c1c7b6cab10865d261/dblp}, booktitle = {SSS}, crossref = {conf/sss/2009}, editor = {Guerraoui, Rachid and Petit, Franck}, ee = {https://doi.org/10.1007/978-3-642-05118-0_37}, interhash = {e1d05bb0775809e9ed5efa3ba2744912}, intrahash = {e644cef641f483c1c7b6cab10865d261}, isbn = {978-3-642-05117-3}, keywords = {dblp}, pages = {531-546}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:40:19.000+0200}, title = {Model Checking Coalition Nash Equilibria in MAD Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/sss/sss2009.html#MariMSTACL09}, volume = 5873, year = 2009 }