ACL:BR07

Didier Bert, Héctor Ruíz Barradas. Propriétés de vivacité dans les systèmes B. Application à l'algorithme distribué de Ricart-Agrawala. Technique et Science Informatiques, RSTI, série TSI, 26:853-882, 2007.

Contact

Didier Bert

BibTex Reference

@article{ACL:BR07,
   Author = {Bert, Didier and Ruíz Barradas, Héctor},
   Title = {Propriétés de vivacité dans les systèmes B. Application à l'algorithme distribué de Ricart-Agrawala},
   Journal = {Technique et Science Informatiques, RSTI, série TSI},
   Volume = {26},
   Pages = {853--882},
   Publisher = {Hermès-Lavoisier},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)