Conference Papers
Year : 2019
Carole Delporte-Gallet : Connect in order to contact the contributor
https://hal.science/hal-02434364
Submitted on : Friday, January 10, 2020-8:16:07 AM
Last modification on : Wednesday, January 15, 2025-3:23:15 PM
Dates and versions
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⟩
Collections
48
View
0
Download