Formal verification of ez-reload SMS protocol using SPIN
| dc.contributor.author | Samasekera, M D V C.University of Colombo School of Computing, Colombo 07,virajsam@sltnet.lk | |
| dc.date.accessioned | 2026-07-13T18:13:04Z | |
| dc.date.issued | 2007 | |
| dc.identifier.uri | http://vidya.nsf.gov.lk:8080/pdfs/vidslaas/2007/504E1 | |
| dc.identifier.uri | https://viduketha.nsf.gov.lk/handle/123456789/11051 | |
| dc.language.iso | English | |
| dc.publisher | Proceedings of the 63rd Annual Session,Part 1- Abstracts | |
| dc.subject | Physical Sciences | |
| dc.subject | - | |
| dc.title | Formal verification of ez-reload SMS protocol using SPIN | |
| dc.type | Article |
Files
License bundle
1 - 1 of 1