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

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Thierry Jéron
Thierry.Jeron@irisa.fr

BibTex Reference

@article{Jeron-Jard-Viho-Caillaud-Kahlouche-Morel-Fernandez-Kerbrat-Bozga-REE99,
   Author = {Jéron, T. and Jard, C. and Viho, C. and Caillaud, B. and Kahlouche, H. and Morel, P. and Fernandez, J.-C. and Kerbrat, A. and Bozga, M.},
   Title = {Génération automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV},
   Journal = {Revue de l'Electricité et de l'Eléctronique (REE)},
   Volume = {3},
   Month = {March},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.