RSC to the ReSCu: Automated Verification of Systems of Communicating Automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

RSC to the ReSCu: Automated Verification of Systems of Communicating Automata

Fichier sous embargo
Fichier sous embargo
1 4 7
Année Mois Jours
Avant la publication
jeudi 1 janvier 2026
Fichier sous embargo
jeudi 1 janvier 2026
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04201296 , version 1 (20-08-2024)

Licence

Identifiants

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⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More