| |
| 1996 | ||
|---|---|---|
| 2 | Christian Kant, Teruo Higashino, Gregor von Bochmann: Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing 10(1): 29-47 (1996) | |
| 1989 | ||
| 1 | EE | Ferhat Khendek, Gregor von Bochmann, Christian Kant: New Results on Deriving Protocol Specifications from Service Specifications. SIGCOMM 1989: 136-145 |
| 1 | Gregor von Bochmann | [1] [2] |
| 2 | Teruo Higashino | [2] |
| 3 | Ferhat Khendek | [1] |