Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
 |
 |
 |
address = {Honolulu, Hawai'i, USA},
apice = {ModelcheckingSac2009},
author = {Casadei, Matteo and Viroli, Mirko},
booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
isbn = {978-1-60558-166-8},
month = {8--12~} # mar,
pages = {2103--2104},
publisher = {ACM},
title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
volume = {III},
year = 2009}