%0 Journal Article %1 journals/isci/CanalsGMM98 %A Canals, Gérôme %A Godart, Claude %A Molli, Pascal %A Munier, Manuel %D 1998 %J Inf. Sci. %K %N 3-4 %P 279-302 %T A Criterion to Enforce Correctness of Indirectly Cooperating Applications. %U http://dblp.uni-trier.de/db/journals/isci/isci110.html#CanalsGMM98 %V 110

@article{journals/isci/CanalsGMM98, added-at = {2023-12-13T07:46:59.000+0100}, author = {Canals, Gérôme and Godart, Claude and Molli, Pascal and Munier, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/26d833ea8b44813d875654df2ac2e1f39/admin}, ee = {http://dx.doi.org/10.1016/S0020-0255(98)10014-2}, interhash = {bd2b7f3fdf851cd866dc84c0d21fc225}, intrahash = {6d833ea8b44813d875654df2ac2e1f39}, journal = {Inf. Sci.}, keywords = {}, number = {3-4}, pages = {279-302}, timestamp = {2023-12-13T07:46:59.000+0100}, title = {A Criterion to Enforce Correctness of Indirectly Cooperating Applications.}, url = {http://dblp.uni-trier.de/db/journals/isci/isci110.html#CanalsGMM98}, volume = 110, year = 1998 }