TY - CPAPER
AU - Johan Arcile
AU - Jean-Yves Didier
AU - Hanna Klaudel
AU - Raymond Devillers
AU - Artur Rataj
BT - Proceedings 4th International Workshop on Engineering Safety and Security Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015.
DO - 10.4204/EPTCS.184.1
LA - eng
PY - 2015
T2 - Proceedings 4th International Workshop on Engineering Safety and Security Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015.
TI - Indefinite waitings in {MIRELA} systems
UR - http://dx.doi.org/10.4204/EPTCS.184.1
ER -