{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:45:09Z","timestamp":1729611909617,"version":"3.28.0"},"reference-count":2,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/apsitt.2015.7217125","type":"proceedings-article","created":{"date-parts":[[2015,8,31]],"date-time":"2015-08-31T21:45:54Z","timestamp":1441057554000},"page":"1-3","source":"Crossref","is-referenced-by-count":3,"title":["Performance evaluation of device discovery in bluetooth LE with probabilistic model checking"],"prefix":"10.1109","author":[{"given":"Yusuke","family":"Matsuo","sequence":"first","affiliation":[]},{"given":"Daisuke","family":"Umehara","sequence":"additional","affiliation":[]},{"given":"Hidekazu","family":"Murata","sequence":"additional","affiliation":[]},{"given":"Satoshi","family":"Denno","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/VTCFall.2013.6692181"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1007\/s10009-006-0014-x","article-title":"A formal analysis of Bluetooth device discovery","volume":"8","author":"duflot","year":"2006","journal-title":"Int J STTT"}],"event":{"name":"2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT)","start":{"date-parts":[[2015,8,4]]},"location":"Colombo, Sri Lanka","end":{"date-parts":[[2015,8,7]]}},"container-title":["2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7210373\/7217073\/07217125.pdf?arnumber=7217125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T18:39:52Z","timestamp":1498243192000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7217125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":2,"URL":"https:\/\/doi.org\/10.1109\/apsitt.2015.7217125","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}