%0 Journal Article 
%F Jeron-Jard-Viho-Caillaud-Kahlouche-Morel-Fernandez-Kerbrat-Bozga-REE99
%A Jéron, T.
%A Jard, C.
%A Viho, C.
%A Caillaud, B.
%A Kahlouche, H.
%A Morel, P.
%A Fernandez, J.-C.
%A Kerbrat, A.
%A Bozga, M.
%T Génération automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV
%J Revue de l'Electricité et de l'Eléctronique (REE)
%V 3
%8 March
%D 1999