Chapitre D'ouvrage
Année : 2003
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01530452
Soumis le : mercredi 31 mai 2017-17:24:37
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01530452 , version 1
Citer
Isabelle Vernier, Emmanuel Paviot-Adet. Modélisation et vérification de l'interopérabilité de services de télécommunication. Vérification et mise en oeuvre de réseaux de Petri, Hermes Science, pp.233-252, 2003, 2-7462-0445-2. ⟨hal-01530452⟩
Collections
42
Consultations
0
Téléchargements