Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
 |
 |
 |
author = {Casadei, Matteo and Viroli, Mirko},
organization = {ACM},
title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
year = 2008}