MCLab @ Sapienza Home

MCLab Group List of Papers

Home |  Show All |  Simple Search |  Advanced Search
Quick Search:
1–1 of 1 record found matching your query (RSS):
toggle visibility Search & Display Options
Select All    Deselect All << 1 >>
List View
 | 
Citations
 | 
Details
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
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 details   pdf doi
Select All    Deselect All << 1 >>
List View
 | 
Citations
 | 
Details
   print
toggle visibility
Save Citations:
Export Records:
Home Library Search  |  Show Record  |  Extract Citations Help