| |
| 2002 | ||
|---|---|---|
| 1 | EE | Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen: Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB 2002: 22-41 |
| 1 | Dominique Cansell | [1] |
| 2 | Ganesh Gopalakrishnan | [1] |
| 3 | Michael D. Jones | [1] |
| 4 | Dominique Méry | [1] |