| |
| 1997 | ||
|---|---|---|
| 2 | Zhongping Tao, Gregor von Bochmann, Rachida Dssouli: A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. MONET 2(3): 259-269 (1997) | |
| 1995 | ||
| 1 | EE | Zhongping Tao, Gregor von Bochmann, Rachida Dssouli: Verification and diagnosis of testing equivalence and reduction relation. ICNP 1995: 14-21 |
| 1 | Gregor von Bochmann | [1] [2] |
| 2 | Rachida Dssouli | [1] [2] |