Jeron-Jard-Viho-Caillaud-Kahlouche-Morel-Fernandez-Kerbrat-Bozga-REE99

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.

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron

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)