ACT-04:vasco-61

H. Ruíz Barradas, D. Bert. Propriétés dynamiques avec hypothèses d'équité en B événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 299-313, LIFC, Besançon, June 2004.

Contact

Didier Bert

BibTex Reference

@InProceedings{ACT-04:vasco-61,
   Author = {Ruíz Barradas, H. and Bert, D.},
   Title = {{Propriétés dynamiques avec hypothèses d'équité en B événementiel}},
   BookTitle = {{Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004}},
   editor = {Julliand, J.},
   Pages = {299--313},
   Address = {LIFC, Besançon},
   Month = {June},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)