Sung Y. Bang

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1981

3 EE Sung Y. Bang, Peter A. Ng, Paul K. Blackwell: Protocol validation by synthesizing communications system behaviors. Inf. Sci. 24(2): 163-186 (1981)

1977

2 Peter A. Ng, Sung Y. Bang: Another Approach for Proving Program Correctness. MFCS 1977: 410-419

1976

1 EE Peter A. Ng, Sung Y. Bang: Toward a mathematical theory of graph-generative systems and its applications. Inf. Sci. 11(3): 223-250 (1976)

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

Coauthor Index

1 Paul K. Blackwell [3]

2 Peter A. Ng [1] [2] [3]