Amjad Gawanmeh, Youssef Iraqi. Formal Analysis of Collision Prevention of Two Wireless Personal Area Networks. In Michelle Connolly, editor, International Conference on Computational Science 2016, ICCS 2016, 6-8 June 2016, San Diego, California, USA. Volume 80 of Procedia Computer Science, pages 2362-2366, Elsevier, 2016. [doi]
Abstract is missing.