%0 Conference Proceedings
%F BPR-lata09
%A Bertrand, N.
%A Pinchinat, S.
%A Raclet, J.-B.
%T Refinement and Consistency of Timed Modal Specifications
%B Proc. of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09)
%S LNCS
%I Springer
%8 April
%D 2009