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.
@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}
}
Charger la référence EndNote (.ref)