Login / Signup
Sherman Reed
Publication Activity (10 Years)
Years Active: 1996-1996
Publications (10 Years): 0
</>
Publications
</>
Krishna M. Kavi
,
Frederick T. Sheldon
,
Sherman Reed
Specification and Analysis of Real-Time Systems Using CSP and Petri Nets.
Int. J. Softw. Eng. Knowl. Eng.
6 (2) (1996)