Richard M. Nemes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1985

2 Richard M. Nemes: Modular Verification of Distributed Systems. ICDCS 1985: 396-410

1982

1 Aaron M. Tenenbaum, Richard M. Nemes: Two Spectra of Self-Organizing Sequential Search Algorithms. SIAM J. Comput. 11(3): 557-566 (1982)

	1985
2		Richard M. Nemes: Modular Verification of Distributed Systems. ICDCS 1985: 396-410
	1982
1		Aaron M. Tenenbaum, Richard M. Nemes: Two Spectra of Self-Organizing Sequential Search Algorithms. SIAM J. Comput. 11(3): 557-566 (1982)

Coauthor Index

1 Aaron M. Tenenbaum [1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

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