{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T04:57:11Z","timestamp":1725425831754},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/icsrs.2017.8272873","type":"proceedings-article","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T16:45:14Z","timestamp":1517503514000},"page":"505-511","source":"Crossref","is-referenced-by-count":0,"title":["Availability checking of dynamic spatial information for automobiles"],"prefix":"10.1109","author":[{"given":"Shuichi","family":"Sato","sequence":"first","affiliation":[]},{"given":"Yosuke","family":"Watanabe","sequence":"additional","affiliation":[]},{"given":"Hiroyuki","family":"Seki","sequence":"additional","affiliation":[]},{"given":"Shoji","family":"Yuen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MDMW.2008.13"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2005.14"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1985.1662795"},{"journal-title":"SMT-LIB","year":"0","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.9708\/jksci.2011.16.4.179"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_8"},{"journal-title":"Z3 Theorem Prover","year":"0","key":"ref7"},{"journal-title":"ISOTS 17931 2013(E)","article-title":"Intelligent Transport Systems-Extension of map database specification for Local Dynamic Map for Applications for Cooperative ITS","year":"2013","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(3:4)2015"},{"key":"ref1","article-title":"The SAFESPOT Integrated Project-Co-operative Systems for Road Safety","author":"andreone","year":"2006","journal-title":"Transport Research Arena Conference"}],"event":{"name":"2017 2nd International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2017,12,20]]},"location":"Milan","end":{"date-parts":[[2017,12,22]]}},"container-title":["2017 2nd International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8264984\/8272780\/08272873.pdf?arnumber=8272873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,12]],"date-time":"2018-03-12T17:52:41Z","timestamp":1520877161000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8272873\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icsrs.2017.8272873","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}