TY  - RPRT
TI  - Bringing Runtime Verification Home -- A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications
AU  - Antoine El-Hokayem
AU  - Yliès Falcone
PY  - 2019
UR  - https://arxiv.org/abs/1808.05487
ID  - 1808.05487
ER  -