%0 Conference Proceedings
%F Pickin-Jard-LeTraon-Jeron-Jezequel-LeGuennec-FORTE02
%A Pickin, S.
%A Jard, C.
%A Le Traon, Y.
%A Jéron, T.
%A Jezequel, J.-M.
%A Le Guennec, A.
%T System Test Synthesis from UML Models of Distributed Software
%B Forte 2002, 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems. Volume 2529 of LNCS
%I Springer-Verlag
%C Houston, Texas
%U http://www.irisa.fr/vertecs/Publis/Ps/2002-Forte.pdf.gz
%8 November
%D 2002