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 19 novembre 2024-20:09:12
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
191
Consultations
0
Téléchargements