R. C. Venkatraman

Publication Activity (10 Years)

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

Publications

R. C. Venkatraman, Thomas F. Piatkowski
A formal comparison of formal protocol specification techniques. PSTV (1985)