| Home | << 1 >> |
|
| Author | Title | Year  |
Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, Lorenzo; Clement, Allen; Li, Harry | Model Checking Coalition Nash Equilibria in MAD Distributed Systems | 2009 | Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings | Springer | 10.1007/978-3-642-05118-0_37 | 531-546 |