www.prismmodelchecker.org
[SS11] F. Saffre and A. Simaitis. Host Selection through Collective Decision. ACM Transactions on Autonomous and Adaptive Systems (TAAS), ACM. To appear. 2011. [pdf] [bib]
Downloads:  pdf pdf (2.5 MB)  bib bib
Links: [Google] [Google Scholar]

Publications