TY  - RPRT
TI  - Home, SafeHome: Smart Home Reliability with Visibility and Atomicity
AU  - Shegufta Bakht Ahsan
AU  - Rui Yang
AU  - Shadi A. Noghabi
AU  - Indranil Gupta
PY  - 2020
DO  - 10.1145/3447786.3456261
UR  - https://arxiv.org/abs/2007.12359
ID  - 2007.12359
ER  -