L. D. Natanson

Publication Activity (10 Years)

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

Publications

L. D. Natanson, W. B. Samson
An Animator for CSP Implemented in HOPE. Specification and Verification of Concurrent Systems (1988)