TY  - BOOK
AU  - Pathiah Abdul Samat,
TI  - A common modeling language for model checkers
PY  - 2012///
KW  - Universiti Kebangsaan Malaysia
KW  - Dissertations
KW  - Dissertations, Academic
KW  - Malaysia
KW  - Computer systems
KW  - Verification
KW  - Computer software
N1  - Cd yang disertakan adalah duplikasi kepada tesis bercetak dan tidak boleh dirujuk/dipinjam; Thesis (Ph.D.) - Universiti Kebangsaan Malaysia, 2012; References : page [210]-222
ER  -