Conference Papers
Year : 2024
Nathalie Sznajder : Connect in order to contact the contributor
https://hal.sorbonne-universite.fr/hal-04624625
Submitted on : Tuesday, June 25, 2024-3:02:17 PM
Last modification on : Wednesday, June 26, 2024-9:43:56 AM
Dates and versions
Identifiers
- HAL Id : hal-04624625 , version 1
- ARXIV : 2403.18591
- DOI : 10.1007/978-3-031-61433-0_14
Cite
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
15
View
0
Download