Sung Y. Bang

Publication Activity (10 Years)

Years Active: 1976-1981
Publications (10 Years): 0

Publications

Sung Y. Bang, Peter A. Ng, Paul K. Blackwell
Protocol validation by synthesizing communications system behaviors. Inf. Sci. 24 (2) (1981)
Peter A. Ng, Sung Y. Bang
Another Approach for Proving Program Correctness. MFCS (1977)
Peter A. Ng, Sung Y. Bang
Toward a mathematical theory of graph-generative systems and its applications. Inf. Sci. 11 (3) (1976)