%0 Conference Proceedings
%F fossacs13
%A Clemente, L.
%A Herbreteau, F.
%A Sutre, G.
%A Stainer, A.
%T Reachability of Communicating Timed Processes
%B proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'13)
%E Springer, 
%V 7794
%S LNCS
%C Rome, Italy
%U http://www.irisa.fr/sumo/Publis/PDF/fossacs13.pdf
%8 March
%D 2013