Title:
A model checking agent for mobile short message service application
Personal Author:
Publication Information:
2010
Physical Description:
xviii, 94 p. : ill. ; 30 cm.
General Note:
Supervisor : Assoc. Prof. Dr. Ali Selamat
Also available in CD-ROM : CP 023626 ra
Added Author:
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... | FSK30000001718 | QA76.76.V47 S45 2010 raf | Closed Access Thesis | UTM Master Thesis (Closed Access) | Searching... |
Searching... | 30000010249373 | QA76.76.V47 S45 2010 raf | Closed Access Thesis | UTM Master Thesis (Closed Access) | Searching... |