Coordination of ECA Rules by Verification and Control.

Julio Cano, Gwenal Delaval, ric Rutten

Browse the full Coordination paper archive.