Universiti Teknologi Malaysia Institutional Repository

A model checking agent for mobile short message service application

Abdul Bujang , Siti Dianah (2010) A model checking agent for mobile short message service application. Masters thesis, Universiti Teknologi Malaysia, Faculty of Computer Science and Information System.

Full text not available from this repository.

Official URL: http://libraryopac.utm.my/client/en_AU/main/search...


Item Type:Thesis (Masters)
Additional Information:Supervisor : Assoc. Prof. Dr. Ali Selamat; Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia 2010
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:16542
Deposited By: Zalinda Shuratman
Deposited On:13 Aug 2017 05:09
Last Modified:13 Aug 2017 05:09

Repository Staff Only: item control page