Article Dans Une Revue
Journal of Logic and Computation
Année : 2019
Sophie Pinchinat : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02533680
Soumis le : lundi 6 avril 2020-15:38:37
Dernière modification le : dimanche 21 janvier 2024-03:22:20
Citer
Tristan Charrier, Sophie Pinchinat, François Schwarzentruber. Symbolic model checking of public announcement protocols. Journal of Logic and Computation, 2019, 29 (8), pp.1211-1249. ⟨10.1093/logcom/exz023⟩. ⟨hal-02533680⟩
Collections
25
Consultations
0
Téléchargements