Jump to : Contact | BibTex reference | EndNote reference |

Jard-Jeron-Morel-Viho-TESTING97

C. Jard, T. Jéron, P. Morel, C. Viho. Une expérience de génération automatique de tests pour un protocole de cohérence de caches. In Actes de la conférence TESTING'97, Paris, June 1997.

Contact

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

BibTex Reference

@InProceedings{Jard-Jeron-Morel-Viho-TESTING97,
   Author = {Jard, C. and Jéron, T. and Morel, P. and Viho, C.},
   Title = {Une expérience de génération automatique de tests pour un protocole de cohérence de caches},
   BookTitle = {Actes de la conférence TESTING'97, Paris},
   Month = {June},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs