Sung Y. Bang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1981

3 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 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		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		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]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page