Conference Papers Year : 2019
No file

Dates and versions

hal-02434364 , version 1 (10-01-2020)

Identifiers

  • HAL Id : hal-02434364 , version 1

Cite

Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier. Towards Synthesis of Distributed Algorithms with {SMT} Solvers. NETYS 2019 - International conference on networked systems, Jun 2019, Marrakech, Morocco. ⟨hal-02434364⟩
48 View
0 Download

Share

More