{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T09:25:57Z","timestamp":1722936357814},"publisher-location":"New York, New York, USA","reference-count":0,"publisher":"ACM Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1145\/123186.123191","type":"proceedings-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T17:36:23Z","timestamp":1068831383000},"page":"8-13","source":"Crossref","is-referenced-by-count":1,"title":["NES"],"prefix":"10.1145","author":[{"given":"Nagisa","family":"Ishiura","sequence":"first","affiliation":[]},{"given":"Hiroto","family":"Yasuura","sequence":"additional","affiliation":[]},{"given":"Shuzo","family":"Yajima","sequence":"additional","affiliation":[]}],"member":"320","event":{"number":"1990","sponsor":["SIGDA, ACM Special Interest Group on Design Automation","IEEE-CS, Computer Society"],"acronym":"DAC '90","name":"Conference proceedings","start":{"date-parts":[[1990,6,24]]},"location":"Orlando, Florida, United States","end":{"date-parts":[[1990,6,27]]}},"container-title":["Conference proceedings on 27th ACM\/IEEE design automation conference - DAC '90"],"original-title":[],"link":[{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=123191&ftid=25515&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,16]],"date-time":"2016-12-16T00:55:12Z","timestamp":1481849712000},"score":1,"resource":{"primary":{"URL":"http:\/\/portal.acm.org\/citation.cfm?doid=123186.123191"}},"subtitle":["the behavioral model for the formal semantics of a hardware design language UDL\/I"],"proceedings-subject":"27th ACM\/IEEE design automation conference","short-title":[],"issued":{"date-parts":[[1990]]},"references-count":0,"URL":"http:\/\/dx.doi.org\/10.1145\/123186.123191","relation":{},"subject":[],"published":{"date-parts":[[1990]]}}}
