{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T04:17:12Z","timestamp":1726978632971},"reference-count":0,"publisher":"ICST","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.4108\/eai.14-10-2015.2261743","type":"proceedings-article","created":{"date-parts":[[2015,12,22]],"date-time":"2015-12-22T12:54:27Z","timestamp":1450788867000},"source":"Crossref","is-referenced-by-count":0,"title":["Templates as heuristics for proving properties of medical devices"],"prefix":"10.4108","author":[{"given":"Michael","family":"Harrison","sequence":"first","affiliation":[]},{"given":"Jose","family":"Campos","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Masci","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Curzon","sequence":"additional","affiliation":[]}],"member":"2587","event":{"number":"5","sponsor":["ICST"],"acronym":"MOBIHEALTH","name":"5th EAI International Conference on Wireless Mobile Communication and Healthcare - \"Transforming healthcare through innovations in mobile and wireless technologies\"","start":{"date-parts":[[2015,10,14]]},"location":"London, Great Britain","end":{"date-parts":[[2015,10,16]]}},"container-title":["Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare - \"Transforming healthcare through innovations in mobile and wireless technologies\""],"original-title":[],"deposited":{"date-parts":[[2024,9,21]],"date-time":"2024-09-21T16:41:31Z","timestamp":1726936891000},"score":1,"resource":{"primary":{"URL":"http:\/\/eudl.eu\/doi\/10.4108\/eai.14-10-2015.2261743"}},"subtitle":[],"proceedings-subject":"Wireless Mobile Communication and Healthcare","short-title":[],"issued":{"date-parts":[[2015]]},"references-count":0,"URL":"https:\/\/doi.org\/10.4108\/eai.14-10-2015.2261743","relation":{},"subject":[],"published":{"date-parts":[[2015]]}}}