ACT-01:vasco-64

D. Bert. Preuve de propriétés d'équité en B : étude du protocole du bus SCSI-3. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001, J. Souquières (ed.), Pages 221-241, LORIA, Nancy, Juin 2001.

Contact

Didier Bert

Référence BibTex

@InProceedings{ACT-01:vasco-64,
   Author = {Bert, D.},
   Title = {{Preuve de propriétés d'équité en B : étude du protocole du bus SCSI-3}},
   BookTitle = {{Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001}},
   editor = {Souquières, J.},
   Pages = {221--241},
   Address = {LORIA, Nancy},
   Month = {June},
   Year = {2001}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)