TY  - RPRT
TI  - Promptness and Bounded Fairness in Concurrent and Parameterized Systems
AU  - Swen Jacobs
AU  - Mouhammad Sakr
AU  - Martin Zimmermann
PY  - 2019
UR  - https://arxiv.org/abs/1911.03122
ID  - 1911.03122
ER  -