Title:
A model checking agent for mobile short message service application
Personal Author:
Publication Information:
2010
Physical Description:
1 CD-ROM ; 12 cm.
General Note:
Supervisor : Assoc. Prof. Dr. Ali Selamat
Also available in printed version : QA76.76.V47 S45 2010 raf
Added Corporate Author:
DSP_DISSERTATION:
Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2010
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | 30000010249374 | CP 023626 ra | UTM Special Collection - Computer File | Compact Disc Accompanies UTM Thesis/Project Paper | Searching... |
