M.C. Yuang

Parallel protocol verification using the two-phase algorithm

M.C. Yuang, A. Kershenbaum, 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

Survey of protocol verification techniques based on finite state machine models

M.C. Yuang, M. Yuang, 1988, [1988] Proceedings. Computer Networking Symposium.