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 |
| 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
