Formal verification of ez-reload SMS protocol using SPIN

Thumbnail Image

Date

2007

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Proceedings of the 63rd Annual Session,Part 1- Abstracts

Abstract

Description

Keywords

Physical Sciences, -

Citation

URI

http://vidya.nsf.gov.lk:8080/pdfs/vidslaas/2007/504E1
 https://viduketha.nsf.gov.lk/handle/123456789/11051

Collections

Annual Session Proceedings – Abstracts

Endorsement

Review

Supplemented By

Referenced By

Copyright © National Science Foundation, Sri Lanka

Solution and developed by the NSLRC of National Science Foundation, Sri Lanka