{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:15:52Z","timestamp":1725592552779},"reference-count":7,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1109\/dcis201949030.2019.8959910","type":"proceedings-article","created":{"date-parts":[[2020,1,17]],"date-time":"2020-01-17T02:11:20Z","timestamp":1579227080000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Applying Model Checking in the Verification of a Clock Masking Unit"],"prefix":"10.1109","author":[{"given":"Jose M.","family":"Leitao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Chaves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelino B.","family":"Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"38","author":"cabodi","year":"2014","journal-title":"Hardware model checking competition 2014 An analysis and comparison of model checkers and benchmarks"},{"journal-title":"Southampton","article-title":"Bisimulation, games & hennessy milner logic - lecture 1 of modelli matematici dei processi concorrenti","year":"0","key":"ref3"},{"year":"0","key":"ref6"},{"journal-title":"NuSMV 2 6 User Manual","year":"0","key":"ref5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2010.5496660"},{"key":"ref2","first-page":"975","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2172\/1166644"}],"event":{"name":"2019 XXXIV Conference on Design of Circuits and Integrated Systems (DCIS)","start":{"date-parts":[[2019,11,20]]},"location":"Bilbao, Spain","end":{"date-parts":[[2019,11,22]]}},"container-title":["2019 XXXIV Conference on Design of Circuits and Integrated Systems (DCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8952591\/8959817\/08959910.pdf?arnumber=8959910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:13:14Z","timestamp":1657854794000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8959910\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/dcis201949030.2019.8959910","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}