Amjad Gawanmeh and Youssef Iraqi: Formal Analysis of Collision Prevention of Two Wireless Personal Area Networks. (2016)conf/iccS/GawanmehI1610.1016/J.PROCS.2016.05.443Formal Analysis of Collision Prevention of Two Wireless Personal Area Networks.2Amjad Gawanmeh1Youssef Iraqi22362-2366ICCSICCS20162016provenance information for RDF data of dblp record 'conf/iccS/GawanmehI16'2017-06-15T21:33:21+0200