| |
| 1991 | ||
|---|---|---|
| 3 | Pradeep Jain, Simon S. Lam: Specification of Real-Time Broadcast Networks. IEEE Trans. Computers 40(4): 404-422 (1991) | |
| 1988 | ||
| 2 | EE | Pradeep Jain, Simon S. Lam: Specification and verification of collusion-free broadcast networks. SIGCOMM 1988: 282-291 |
| 1987 | ||
| 1 | Pradeep Jain, Simon S. Lam: Modeling and Verification of Real-Time Protocols for Broadcast Networks. IEEE Trans. Software Eng. 13(8): 924-937 (1987) | |
| 1 | Simon S. Lam | [1] [2] [3] |