TY  - RPRT
TI  - Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)
AU  - Ondrej Lengal
AU  - Anthony W. Lin
AU  - Rupak Majumdar
AU  - Philipp Ruemmer
PY  - 2017
UR  - https://arxiv.org/abs/1710.10756
ID  - 1710.10756
ER  -