@misc{indiciae3a8abdf1d863,
  title = {Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach},
  author = {Nianyu Li and Di Bai and Zhuoqun Yang and Wenpin Jiao},
  year = {2017},
  url = {https://arxiv.org/abs/1706.08271},
  note = {Source identifier: 1706.08271}
}