| |
| 1989 | ||
|---|---|---|
| 2 | EE | Deepinder P. Sidhu, Ting-Kau Leung: Formal Methods for Protocol Testing: A Detailed Study. IEEE Trans. Software Eng. 15(4): 413-426 (1989) |
| 1988 | ||
| 1 | EE | Deepinder P. Sidhu, Ting-Kau Leung: Experience with test generation for real protocols. SIGCOMM 1988: 257-261 |
| 1 | Deepinder P. Sidhu | [1] [2] |