Rainer A. Berger

Publication Activity (10 Years)

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

Publications

Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng
Protocol Analysis and Implementation using NPNs and SDL. Specification and Verification of Concurrent Systems (1988)