%0 Conference Proceedings
%F GoesslerGrafMila*07
%A Goessler, G.
%A Graf, S.
%A Majster-Cederbaum, M.
%A Martens, M.
%A Sifakis, J.
%T Ensuring Properties of Interaction Systems by Construction
%B Program Analysis and Compilation, Theory and Practice
%E Reps, T.
%E Sagiv, M.
%E Bauer, J.
%V 4444
%P 201-224
%S LNCS
%D 2007