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