TY  - RPRT
TI  - Architectural Invariants and Correctness of IoT-based Systems
AU  - Christian Attiogbé
AU  - Jérôme Rocheteau
PY  - 2019
UR  - https://arxiv.org/abs/1912.08912
ID  - 1912.08912
ER  -