Sciweavers

FMCAD
2008
Springer

Model Checking Nash Equilibria in MAD Distributed Systems

14 years 1 months ago
Model Checking Nash Equilibria in MAD Distributed Systems
Federico Mari, Igor Melatti, Ivano Salvo, Enrico T
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMCAD
Authors Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
Comments (0)