| 2009 | ||
|---|---|---|
| 1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry Li: Model Checking Coalition Nash Equilibria in MAD Distributed Systems. SSS 2009: 531-546 | |
| 1 | Lorenzo Alvisi | [1] |
| 2 | Allen Clement | [1] |
| 3 | Federico Mari | [1] |
| 4 | Igor Melatti | [1] |
| 5 | Ivano Salvo | [1] |
| 6 | Enrico Tronci | [1] |