Richard M. Nemes

Publication Activity (10 Years)

Years Active: 1982-1985
Publications (10 Years): 0

Publications

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