|
Search the dblp DataBase
Duen-Tay Huang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang
A State-Transition-Based Incremental Protocol Specification. [Citation Graph (0, 0)][DBLP] ACM Conference on Computer Science, 1994, pp:30-37 [Conf]
- Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang
Reverse Protocol Verification: Concept, Algorithm and Application. [Citation Graph (0, 0)][DBLP] Comput. J., 1996, v:39, n:6, pp:511-524 [Journal]
- Chung-Ming Huang, Huei-Yang Lai, Duen-Tay Huang
A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method. [Citation Graph (0, 0)][DBLP] J. Inf. Sci. Eng., 1996, v:12, n:2, pp:215-241 [Journal]
Search in 0.002secs, Finished in 0.002secs
|