Yusuke Matsuo, Daisuke Umehara, Hidekazu Murata, Satoshi Denno. Performance evaluation of device discovery in bluetooth LE with probabilistic model checking. In 10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015, Colombo, Sri Lanka, August 4-7, 2015. pages 1-3, IEEE, 2015. [doi]
Abstract is missing.