Pathiah Abdul Samat, <br/><br/>
A common modeling language for model checkers / 
Pathiah binti Abdul Samat. 
 - xviii, 269 pages ;  30 cm. 
<br/><br/> Cd yang disertakan adalah duplikasi kepada tesis bercetak dan tidak boleh dirujuk/dipinjam. 
<br/><br/>Thesis (Ph.D.) - Universiti Kebangsaan Malaysia, 2012. 
<br/><br/>References : page [210]-222. 
<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 systems--Verification.<br/>Computer software--Verification.