| |
| 1978 | ||
|---|---|---|
| 2 | André A. S. Danthine, Joseph Bremer: Modelling and Verification of End-to-End Transport Protocols. Computer Networks 2: 381-395 (1978) | |
| 1976 | ||
| 1 | André A. S. Danthine, Joseph Bremer: An Axiomatic Description of the Transport Protocol of Cyclades. Rechnernetze und Datenfernverarbeitung 1976: 259-273 | |
| 1 | André A. S. Danthine | [1] [2] |