[CDR14] Julio Cano, Gwenaël Delaval, Eric Rutten.
Safe coordination of ECA rules by verification and control.
In 16th International Conference on Coordination Models and Languages, COORDINATION,
June 3-6, 2014, Berlin, Germany.
(A-rank conference)
Apr 01