K. C. Anand

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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 K. C. Anand, D. P. Agrawal, N. M. Kini: Efficient routing and conflict resolution in F and IADM networks. SPDP 1990: 556-559

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

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

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

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