Conference Papers
Year : 2023
Christopher Lallemant : Connect in order to contact the contributor
https://inria.hal.science/hal-04201296
Submitted on : Tuesday, August 20, 2024-4:22:30 PM
Last modification on : Tuesday, August 20, 2024-4:24:05 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-04201296 , version 1
- DOI : 10.1007/978-3-031-35361-1_7
Cite
Loïc Desgeorges, Loïc Germerie Guizouarn. RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. 25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.135-143, ⟨10.1007/978-3-031-35361-1_7⟩. ⟨hal-04201296⟩
Collections
15
View
0
Download