Sung Y. Bang

According to our database, Sung Y. Bang authored at least 3 papers between 1976 and 1981.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1981

Protocol validation by synthesizing communications system behaviors.

Sung Y. Bang, Peter A. Ng, Paul K. Blackwell

Inf. Sci., 1981

1977

Another Approach for Proving Program Correctness.

Peter A. Ng, Sung Y. Bang

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976

Toward a mathematical theory of graph-generative systems and its applications.

Peter A. Ng, Sung Y. Bang

Inf. Sci., 1976