Matteo Casadei, Mirko Viroli
Using probabilistic model checking and simulation for designing self-organizing systems
SAC, 2009.
@inproceedings{SAC-2009-CasadeiV,
author = "Matteo Casadei and Mirko Viroli",
booktitle = "{Proceedings of the 24th Symposium on Applied Computing}",
doi = "10.1145/1529282.1529747",
editor = "Sung Y. Shin and Sascha Ossowski",
isbn = "978-1-60558-166-8",
pages = "2103--2104",
publisher = "{ACM}",
title = "{Using probabilistic model checking and simulation for designing self-organizing systems}",
year = 2009,
}