www.prismmodelchecker.org
[BPA+12] A. Bogliolo, P. Polidori, A. Aldini, W. Moreira, P. Mendes, M. Yildiz, C. Ballester and J.-M. Seigneur. Virtual currency and reputation-based cooperation incentives in user-centric networks. In Proc. 8th International Wireless Communications and Mobile Computing Conference (IWCMC'12). 2012. [bib]
Downloads:  bib bib

Publications