|
[CV09]
M. Casadei and M. Viroli.
Using probabilistic model checking and simulation for designing self-organizing systems.
In Proc. ACM Symposium on Applied Computing (SAC'2009), pages 2103-2104.
2009.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|