| |
| 1989 | ||
|---|---|---|
| 2 | Brigitte Pradin-Chezalviel, Michel Diaz: Axioms of Communication Using Temporal Logic with Past. PSTV 1989: 387-399 | |
| 1986 | ||
| 1 | Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel: On a Prolog Environment for Protocol Analysis. ICDCS 1986: 444-451 | |
| 1 | Pierre Azéma | [1] |
| 2 | Michel Diaz | [2] |
| 3 | Giorgos Papapanagiotakis | [1] |