{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:45:51Z","timestamp":1725471951215},"reference-count":2,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/wsc.2013.6721745","type":"proceedings-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T17:35:58Z","timestamp":1391189758000},"page":"3858-3865","source":"Crossref","is-referenced-by-count":0,"title":["Automatic model verification for semiconductor manufacturing simulation"],"prefix":"10.1109","author":[{"given":"Boon","family":"Ping","sequence":"first","affiliation":[]},{"given":"Gan Peter","family":"Lendermann","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Scholl","sequence":"additional","affiliation":[]},{"given":"Marcin","family":"Mosinski","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Preuss","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2010.5678952"},{"journal-title":"D-SIMCON - An Overview","year":"2013","key":"1"}],"event":{"name":"2013 Winter Simulation Conference - (WSC 2013)","start":{"date-parts":[[2013,12,8]]},"location":"Washington, DC, USA","end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 Winter Simulations Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6709837\/6721384\/06721745.pdf?arnumber=6721745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T23:57:29Z","timestamp":1490227049000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6721745\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":2,"URL":"https:\/\/doi.org\/10.1109\/wsc.2013.6721745","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}