| 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 Nash Equilibria in MAD Distributed Systems | 2008 | FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design | IEEE Press | 978-1-4244-2735-2 | 10.1109/FMCAD.2008.ECP.16 | 1-8 |