Nursyahidah Alias <br/><br/>
Penspesifikasian dan pengesahsahihan protokol komunikasi menggunakan pembukti teorem  [microform]/ 
Nursyahidah binti Alias 
 - Bangi, Selangor:  Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia  2010 
 - 3 microfiches ; 11 x 15cm. 
<br/><br/>Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2007 
<br/><br/>Rujukan : p. [153]-164 
<br/><br/><label>Subjects--Corporate Names: </label><br/>Universiti Kebangsaan Malaysia--Dissertations
<br/><br/><label>Subjects--Topical Terms: </label><br/>Dissertations, Academic--Malaysia<br/>Computer network protocols--Specifications<br/>Automatic theorem proving