%0 Conference Proceedings
%F Benveniste2012b
%A Benveniste, A.
%A Caillaud, B.
%A Raclet, JB.
%T Application of Interface Theories to the Separate Compilation of Synchronous Programs
%B Proc. of the 51st IEEE Conference on Decision and Control (CDC'12)
%I IEEE
%C Hawaii
%8 December
%D 2012