| |
| 1986 | ||
|---|---|---|
| 2 | Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel: On a Prolog Environment for Protocol Analysis. ICDCS 1986: 444-451 | |
| 1985 | ||
| 1 | Pierre Azéma, Giorgos Papapanagiotakis: Protocol analysis by using predicate nets. PSTV 1985: 119-130 | |
| 1 | Pierre Azéma | [1] [2] |
| 2 | Brigitte Pradin-Chezalviel | [2] |