Brief Announcement: Holistic Verification of Blockchain Consensus
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) |
---|
Nathalie Bertrand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03819744
Soumis le : mardi 18 octobre 2022-15:25:31
Dernière modification le : vendredi 6 décembre 2024-14:22:03
Archivage à long terme le : jeudi 19 janvier 2023-18:50:00