Article Dans Une Revue Journal of Logic and Computation Année : 2019

Symbolic model checking of public announcement protocols

Fichier non déposé

Dates et versions

hal-02533680 , version 1 (06-04-2020)

Identifiants

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⟩
64 Consultations
0 Téléchargements

Altmetric

Partager

  • More