Communication Dans Un Congrès
Année : 2023
Christopher Lallemant : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04201296
Soumis le : mardi 20 août 2024-16:22:30
Dernière modification le : mardi 20 août 2024-16:24:05
Dates et versions
Licence
Identifiants
- HAL Id : hal-04201296 , version 1
- DOI : 10.1007/978-3-031-35361-1_7
Citer
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
Consultations
0
Téléchargements