Pradeep Jain

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1991

3 Pradeep Jain, Simon S. Lam: Specification of Real-Time Broadcast Networks. IEEE Trans. Computers 40(4): 404-422 (1991)

1988

2 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)

	1991
3		Pradeep Jain, Simon S. Lam: Specification of Real-Time Broadcast Networks. IEEE Trans. Computers 40(4): 404-422 (1991)
	1988
2		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)

Coauthor Index

1 Simon S. Lam [1] [2] [3]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page