TY  - RPRT
TI  - Reachability in Networks of Register Protocols under Stochastic Schedulers
AU  - Patricia Bouyer
AU  - Nicolas Markey
AU  - Mickael Randour
AU  - Arnaud Sangnier
AU  - Daniel Stan
PY  - 2016
UR  - https://arxiv.org/abs/1602.05928
ID  - 1602.05928
ER  -