Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/icecsys/HamadiGA13
AU - Hamadi, Hussam M. N. Al
AU - Gawanmeh, Amjad
AU - Al-Qutayri, Mahmoud
TI - Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems.
BT - 20th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2013, Abu Dhabi, UAE, December 8-11, 2013
SP - 100
EP - 101
PY - 2013//
DO - 10.1109/ICECS.2013.6815362
UR - https://doi.org/10.1109/ICECS.2013.6815362
ER -
