| Original language | English |
|---|---|
| Journal | International Scholarly Research Notices |
| State | Published - 2014 |
| Externally published | Yes |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
On formal and automatic security verification of WSN transport protocols
Research output: Contribution to journal › Article › peer-review