Florian Kauer, Maximilian Köstler, Tobias Lübkert, Volker Turau. Formal Analysis and Verification of the IEEE 802.15.4 DSME Slot Allocation. In Albert Y. Zomaya, Geyong Min, Antonio F. Loureiro, editors, Proceedings of the 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2016, Malta, November 13-17, 2016. pages 140-147, ACM, 2016. [doi]
Abstract is missing.