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
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⟩