Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems

@inproceedings{modelchecking-sac09,
   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
}