Jump to : Contact | BibTex reference | EndNote reference |

ACT-04:vasco-59

A. Lakehal, I. Parissis, L. du Bousquet. Critères de couverture structurelle de programmes LUSTRE. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 185-199, LIFC, Besançon, June 2004.

Contact

Ioannis Parissis

BibTex Reference

@InProceedings{ACT-04:vasco-59,
   Author = {Lakehal, A. and Parissis, I. and du Bousquet, L.},
   Title = {{Critères de couverture structurelle de programmes LUSTRE}},
   BookTitle = {{Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004}},
   editor = {Julliand, J.},
   Pages = {185--199},
   Address = {LIFC, Besançon},
   Month = {June},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)


This page has been automatically generated using the bib2html program.