%0 Conference Proceedings
%F esop03
%A Altisen, Karine
%A Clodic, Aurélie
%A Maraninchi, Florence
%A Rutten, Eric
%T Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
%B Proceedings of the European Symposium on Programming, ESOP'03, {April 7 - 11, 2003,Warsaw, Poland}
%N 2618
%S Lecture Notes in Computer Science (LNCS)
%I Springer Verlag
%D 2003