%0 Conference Proceedings
%F delaval08
%A Delaval, G.
%T Modular Distribution and Application to Discrete Controller Synthesis
%B International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P'08
%S ENTCS
%C Budapest, Hungary
%8 March
%D 2008