Abdul Bujang, Siti Dianah and Selamat, Ali (2009) Model checking agent using formal method for SMS verfication. In: 2009 International Conference on InformationTheory and Engineering (ICITE 2009), 2009, K. Kinabalu, Sabah.
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Computer Science and Information System |
| ID Code: | 15423 |
| Deposited By: | Liza Porijo |
| Deposited On: | 30 Sep 2011 09:56 |
| Last Modified: | 30 Sep 2011 09:56 |
Repository Staff Only: item control page
