Distributed Systems--Towards a Formal Approach
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Gérard Le Lann : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03504338
Soumis le : mercredi 29 décembre 2021-09:41:29
Dernière modification le : samedi 11 mars 2023-03:30:07
Archivage à long terme le : mercredi 30 mars 2022-18:06:50