M. Y. Bearman

Publication Activity (10 Years)

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

Publications

Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman
Automated protocol verification. PSTV (1985)