Tat Y. Choi

Publication Activity (10 Years)

Years Active: 1983-1996
Publications (10 Years): 0

Publications

Tat Y. Choi, Robert Law
Multimedia Technology and Cost Savings in Hotel Applications. Multimedia Technology and Applications (1996)
Tat Y. Choi, Raymond E. Miller
Protocol Analysis and Synthesis by Structured Partitions. Comput. Networks 11 (1986)
Tat Y. Choi
Formal techniques for the specification, verification and construction of communication protocols. IEEE Commun. Mag. 23 (10) (1985)
Tat Y. Choi, Raymond E. Miller
A decomposition method for the analysis and design of finite state protocols. SIGCOMM (1983)
Tat Y. Choi, Raymond E. Miller
Network protocol: A structured approach. ACM Annual Conference (1983)