%0 Conference Proceedings
%F Benveniste2012b
%A Benveniste, Albert
%A Caillaud, Benoît
%A Jean-Baptiste, Raclet
%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
%U http://hal.inria.fr/hal-00721049
%U http://dx.doi.org/10.1109/CDC.2012.6426437
%8 December
%D 2012