logo-hal

HALathon 2021 UPPA

Les articles que vous pouvez déposer

# Année Titre Revue Lien éditeur / doi Notice HAL
1 1998 A Criterion to Enforce Correctness of Indirectly Cooperating Applications Information Sciences 10.1016/S0020-0255(98)10014-2 inria-00098608

Références complètes

  1. Gérôme Canals, Claude Godart, Pascal Molli, Manuel Munier. A Criterion to Enforce Correctness of Indirectly Cooperating Applications. Information Sciences, Elsevier, 1998, 110 (3-4), pp.279-302. ⟨10.1016/S0020-0255(98)10014-2⟩. ⟨inria-00098608⟩