%0 Conference Paper
%B Proceedings 4th International Workshop on Engineering Safety and Security Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015.
%D 2015
%G eng
%R 10.4204/EPTCS.184.1
%T Indefinite waitings in {MIRELA} systems
%U http://dx.doi.org/10.4204/EPTCS.184.1