Duen-Tay Huang

	1996
3		Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang: Reverse Protocol Verification: Concept, Algorithm and Application. Comput. J. 39(6): 511-524 (1996)
2		Chung-Ming Huang, Huei-Yang Lai, Duen-Tay Huang: A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method. J. Inf. Sci. Eng. 12(2): 215-241 (1996)
	1994
1		Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang: A State-Transition-Based Incremental Protocol Specification. ACM Conference on Computer Science 1994: 30-37

Coauthor Index

1	Ye-In Chang	[1] [3]
2	Chung-Ming Huang	[1] [2] [3]
3	Huei-Yang Lai	[2]