Communication Dans Un Congrès
Année : 2024
Nathalie Sznajder : Connectez-vous pour contacter le contributeur
https://hal.sorbonne-universite.fr/hal-04624625
Soumis le : vendredi 11 octobre 2024-12:15:11
Dernière modification le : mercredi 30 octobre 2024-13:33:09
Dates et versions
Identifiants
- HAL Id : hal-04624625 , version 1
- ARXIV : 2403.18591
- DOI : 10.1007/978-3-031-61433-0_14
Citer
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder. Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Jun 2024, Geneva, Switzerland. pp.291-311, ⟨10.1007/978-3-031-61433-0_14⟩. ⟨hal-04624625⟩
Collections
71
Consultations
0
Téléchargements