{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:16:24Z","timestamp":1761488184759,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1109\/wsc.2008.4736340","type":"proceedings-article","created":{"date-parts":[[2009,1,14]],"date-time":"2009-01-14T18:48:38Z","timestamp":1231958918000},"page":"2341-2349","source":"Crossref","is-referenced-by-count":8,"title":["Toward on-demand wafer fab simulation using formal structure & behavior models"],"prefix":"10.1109","author":[{"given":"Edward","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ky Sang","family":"Kwon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leon","family":"McGinnis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/66.705370"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.4018\/jdm.2000100101","article-title":"formal approaches to systems analysis using uml: an overview","volume":"11","author":"whittle","year":"2000","journal-title":"Journal of Database Management"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1016\/S0360-8352(99)00151-5"},{"year":"1994","journal-title":"C++SIM User's Guide","key":"3"},{"key":"2","first-page":"85","article-title":"automatic generation of distributed system simulations from uml","author":"arief","year":"1999","journal-title":"Proc 13th European Simulation Multiconference (ESM 99)"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/66.705372"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1142\/S021819400100075X"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/COASE.2007.4341777"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/70.964657"},{"key":"5","first-page":"60","article-title":"trends in 300 mm factory automation","volume":"26","author":"hunter","year":"2003","journal-title":"Semiconductor International"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/WSC.2007.4419675"},{"year":"2007","author":"mueller","journal-title":"Specification and Automatic Generation of Simulation Models with Applications in Semiconductor Manufacturing","key":"9"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/WSC.2006.322969"}],"event":{"name":"2008 Winter Simulation Conference (WSC)","start":{"date-parts":[[2008,12,7]]},"location":"Miami, FL, USA","end":{"date-parts":[[2008,12,10]]}},"container-title":["2008 Winter Simulation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4712635\/4736042\/04736340.pdf?arnumber=4736340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T02:28:11Z","timestamp":1554431291000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4736340\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/wsc.2008.4736340","relation":{},"subject":[],"published":{"date-parts":[[2008,12]]}}}