TY  - RPRT
TI  - Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
AU  - Anthony W. Lin
AU  - Philipp Ruemmer
PY  - 2016
UR  - https://arxiv.org/abs/1606.01451
ID  - 1606.01451
ER  -