ACT-05:vasco-62

A. Kermarrec, R. Groz, B. Parreaux, A. Petrenko. Machines de mutations pour l'enrichissement de test de protocoles. In Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2005), Pages 33-49, Bordeaux, March 2005.

Contact

Roland Groz

BibTex Reference

@InProceedings{ACT-05:vasco-62,
   Author = {Kermarrec, A. and Groz, R. and Parreaux, B. and Petrenko, A.},
   Title = {{Machines de mutations pour l'enrichissement de test de protocoles}},
   BookTitle = {{Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2005)}},
   Pages = {33--49},
   Publisher = {Hermès},
   Address = {Bordeaux},
   Month = {March},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)