Other Publications
Year : 2005
Frédéric Davesne : Connect in order to contact the contributor
https://hal.science/hal-00342159
Submitted on : Wednesday, November 26, 2008-10:50:58 PM
Last modification on : Monday, April 22, 2024-4:24:01 PM
Dates and versions
Identifiers
- HAL Id : hal-00342159 , version 1
Cite
Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Symbolic Bounded Analysis for Component Behavioural Protocols. 2005. ⟨hal-00342159⟩
Collections
155
View
0
Download