Year of Award
Master of Philosophy (MPhil)
Department of Computer Science.
Computer multitasking, Parallel processing (Electronic computers)
Choy, Wai Hing, "Verification tools for communication protocol design" (2000). Restricted Access Theses and Dissertations. 258.
The author retains all rights to this work. The author has signed an agreement granting HKBU a non-exclusive license to archive and distribute their thesis.