{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:50:55Z","timestamp":1730296255985,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/sies.2008.4577704","type":"proceedings-article","created":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T14:33:40Z","timestamp":1217601220000},"page":"225-228","source":"Crossref","is-referenced-by-count":3,"title":["Verifying programmable logic controllers with abstraction"],"prefix":"10.1109","author":[{"given":"Rui","family":"Wang","sequence":"first","affiliation":[]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[]},{"given":"Hehua","family":"zhang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Model Checking Abstraction and Compositional Reasoning","year":"1993","author":"long","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070009"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.026"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884359"},{"year":"0","key":"5"},{"key":"4","first-page":"54","article-title":"model checking for infinite state systems using data abstracting, assumption-commitment style reasoning and therem proving","author":"dingel","year":"0","journal-title":"Proceedings of the 1995 Workshop on Computer-Aided Verification"},{"key":"9","article-title":"symbolic model checking without bdds","volume":"1579","author":"biere","year":"1999","journal-title":"LNCS"},{"journal-title":"The SMV language","year":"0","author":"mcmillan","key":"8"}],"event":{"name":"2008 International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2008,6,11]]},"location":"Le Grande Motte, France","end":{"date-parts":[[2008,6,13]]}},"container-title":["2008 International Symposium on Industrial Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4569831\/4577669\/04577704.pdf?arnumber=4577704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T14:55:52Z","timestamp":1489676152000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4577704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/sies.2008.4577704","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}