arnaud sangnier
home
publications
teaching
bio
ON CONSTRUCTION
2024
L. Guillou, N. Sznajder, A. Sangnier
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
Petri Nets 2024 (best paper award).
[
pdf
|
long version
]
Authors
Titre
2022
Authors
Titre
Authors
Titre