TY  - RPRT
TI  - Indefinite waitings in MIRELA systems
AU  - Johan Arcile
AU  - Jean-Yves Didier
AU  - Hanna Klaudel
AU  - Raymond Devillers
AU  - Artur Rataj
PY  - 2015
DO  - 10.4204/eptcs.184.1
UR  - https://arxiv.org/abs/1506.03553
ID  - 1506.03553
ER  -