CN:BR06

Didier Bert, Héctor Ruíz Barradas. Développement et preuve de vivacité de l'algorithme distribué de Ricart-Agrawala. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 161-178, ENST, Paris, Mars 2006.

Contact

Didier Bert

Référence BibTex

@InProceedings{CN:BR06,
   Author = {Bert, Didier and Ruíz Barradas, Héctor},
   Title = {Développement et preuve de vivacité de l'algorithme distribué de Ricart-Agrawala},
   BookTitle = {Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels},
   Pages = {161--178},
   Address = {ENST, Paris},
   Month = {March},
   Year = {2006}
}

Référence EndNote [help]

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