Books
Year : 2021
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03216251
Submitted on : Monday, May 3, 2021-8:26:51 PM
Last modification on : Wednesday, October 26, 2022-8:13:17 AM
Dates and versions
Identifiers
- HAL Id : hal-03216251 , version 1
Cite
Christel Baier, Jean Goubault-Larrecq (Dir.). 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. 183, 2021, LIPIcs, 978-3-95977-175-7. ⟨hal-03216251⟩
Collections
16
View
0
Download