Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
 |
 |
@techreport{stochasticmodelcheck-techrep08,
Author = {Casadei, Matteo and Viroli, Mirko},
Organisation = {ACM},
Title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
Year = 2008}
Author = {Casadei, Matteo and Viroli, Mirko},
Organisation = {ACM},
Title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
Year = 2008}