Pradeep Jain

Publication Activity (10 Years)

Years Active: 1987-1991
Publications (10 Years): 0

Publications

Pradeep Jain, Simon S. Lam
Specification of Real-Time Broadcast Networks. IEEE Trans. Computers 40 (4) (1991)
Pradeep Jain, Simon S. Lam
Specification and verification of collusion-free broadcast networks. SIGCOMM (1988)
Pradeep Jain, Simon S. Lam
Modeling and Verification of Real-Time Protocols for Broadcast Networks. IEEE Trans. Software Eng. 13 (8) (1987)