TY  - RPRT
TI  - Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol
AU  - Swaraj Bhat
AU  - Pradeep B. H
AU  - Keerthi S. Shetty
AU  - Sanjay Singh
PY  - 2012
UR  - https://arxiv.org/abs/1208.4321
ID  - 1208.4321
ER  -