Autre Publication Scientifique
Année : 2005
Frédéric Davesne : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00342159
Soumis le : mercredi 26 novembre 2008-22:50:58
Dernière modification le : mardi 17 septembre 2024-15:57:54
Dates et versions
Identifiants
- HAL Id : hal-00342159 , version 1
Citer
Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Symbolic Bounded Analysis for Component Behavioural Protocols. 2005. ⟨hal-00342159⟩
Collections
169
Consultations
0
Téléchargements