TY  - RPRT
TI  - Model Checking Techniques for Verification of an Encryption Scheme for Wireless Sensor Networks
AU  - Zohra Sbaï
AU  - Mohamed Escheikh
PY  - 2013
UR  - https://arxiv.org/abs/1305.4247
ID  - 1305.4247
ER  -