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