TY  - RPRT
TI  - Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode
AU  - Mahmoud Talebi
AU  - Jan Friso Groote
AU  - Conrad Dandelski
PY  - 2017
DO  - 10.4204/eptcs.244.5
UR  - https://arxiv.org/abs/1703.06572
ID  - 1703.06572
ER  -