Héctor Ruíz Barradas, Didier Bert. Propriétés dynamiques avec hypothèses d'équité en B événementiel. Technique et Science Informatiques, RSTI, 25(1):73-102, 2006.
@article{ACL:RB06,
Author = {Ruíz Barradas, Héctor and Bert, Didier},
Title = {{Propriétés dynamiques avec hypothèses d'équité en B événementiel}},
Journal = {Technique et Science Informatiques, RSTI},
Volume = {25},
Number = {1},
Pages = {73--102},
Publisher = {Hermès-Lavoisier},
Year = {2006}
}
Get EndNote Reference (.ref)