Conference Publication Details

Mandatory Fields

Authors

Li Y., Newe T.,

Conference Title

IEEE Sensors Applications Symposium (SAS 2008)

Title of Paper

Exchange Protocol for Wireless Sensor Network: Formal Verification using CSN Modal Logic

Year

2008

Month

Status

Published

Peer Reviewed

Times Cited

()

Optional Fields

Search Keyword

Editors

Start Page

193

End Page

198

Location

Start Date

12-FEB-08

End Date

14-FEB-08

Abstract

Funded By

IRCSET

URL

DOI Link

Grant Details

Funding Body

Grant Details