@misc{indiciae79d4a36641eb,
  title = {Reachability in Networks of Register Protocols under Stochastic Schedulers},
  author = {Patricia Bouyer and Nicolas Markey and Mickael Randour and Arnaud Sangnier and Daniel Stan},
  year = {2016},
  url = {https://arxiv.org/abs/1602.05928},
  note = {Source identifier: 1602.05928}
}