%0 Conference Proceedings
%F BLPR-icfem09
%A N. Bertrand, 
%A Legay, A.
%A Pinchinat, S.
%A Raclet, J.-B.
%T A Compositional Approach on Modal Specifications for Timed Systems
%B Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09)
%I Springer
%D 2009