K. C. Anand

2000
2		K. C. Anand, R. K. Shyamasundar: Formal Verification of Activity-Based Specification of Protocols. J. Parallel Distrib. Comput. 60(5): 639-676 (2000)
1990
1	EE	K. C. Anand, D. P. Agrawal, N. M. Kini: Efficient routing and conflict resolution in F and IADM networks. SPDP 1990: 556-559

Coauthor Index

1	D. P. Agrawal	[1]
2	N. M. Kini	[1]
3	R. K. Shyamasundar	[2]

Colors in the list of coauthors