Catégorie Rapport Auteurs Frederic Tronel Frédéric Lang Hubert Garavel https://inria.hal.science/inria-00071572v1 doc ID 71572 Nom Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components Date de publication mer 26/02/2025 - 12:00