%0 Conference Paper %1 journals/corr/TalebiGD17 %A Talebi, Mahmoud %A Groote, Jan Friso %A Dandelski, Conrad %B MARS@ETAPS %D 2017 %E Hermanns, Holger %E Höfner, Peter %K dblp %P 117-128 %T Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs244.html#TalebiGD17 %V 244

@inproceedings{journals/corr/TalebiGD17, added-at = {2020-03-27T00:00:00.000+0100}, author = {Talebi, Mahmoud and Groote, Jan Friso and Dandelski, Conrad}, biburl = {https://www.bibsonomy.org/bibtex/275da45bf7a4e0f7324a4b37e8191c3e0/dblp}, booktitle = {MARS@ETAPS}, crossref = {journals/corr/HermannsH17}, editor = {Hermanns, Holger and Höfner, Peter}, ee = {http://arxiv.org/abs/1703.06572}, interhash = {a0b5a3d63ac82fdf0c3079a576e3ca98}, intrahash = {75da45bf7a4e0f7324a4b37e8191c3e0}, keywords = {dblp}, pages = {117-128}, series = {EPTCS}, timestamp = {2024-04-09T09:29:44.000+0200}, title = {Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs244.html#TalebiGD17}, volume = 244, year = 2017 }