Title:
Agent verification design of short text messaging system using formal method
Series:
Siri kertas kerja penyelidikan (Universiti Teknologi Malaysia. Pusat Pengurusan Penyelidikan)
Publication Information:
Skudai : Universiti Teknologi Malaysia, 2009
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | 30000010189698 | xx | Non Circulating UTM Special Collection Materials | Article | Searching... |
