dblp.uni-trier.dewww.uni-trier.de

K. C. Anand

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)