%0 Conference Paper %1 conf/fmcad/MariMSTACL08 %A Mari, Federico %A Melatti, Igor %A Salvo, Ivano %A Tronci, Enrico %A Alvisi, Lorenzo %A Clement, Allen %A Li, Harry C. %B FMCAD %D 2008 %E Cimatti, Alessandro %E Jones, Robert B. %I IEEE %K dblp %P 1-8 %T Model Checking Nash Equilibria in MAD Distributed Systems. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2008.html#MariMSTACL08 %@ 978-1-4244-2735-2

@inproceedings{conf/fmcad/MariMSTACL08, 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/2b7f98bb2c3891aaa6a08342f2ef53e56/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2008}, editor = {Cimatti, Alessandro and Jones, Robert B.}, ee = {https://doi.org/10.1109/FMCAD.2008.ECP.16}, interhash = {f3064435915cc136ff4bdae75f563b4f}, intrahash = {b7f98bb2c3891aaa6a08342f2ef53e56}, isbn = {978-1-4244-2735-2}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2019-09-26T13:22:11.000+0200}, title = {Model Checking Nash Equilibria in MAD Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2008.html#MariMSTACL08}, year = 2008 }