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 : lundi 22 avril 2024-16:24:01
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
155
Consultations
0
Téléchargements