{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:18:43Z","timestamp":1740100723044,"version":"3.37.3"},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,4,25]]},"DOI":"10.1109\/syscon53536.2022.9773841","type":"proceedings-article","created":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T20:45:11Z","timestamp":1652733911000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories"],"prefix":"10.1109","author":[{"given":"Jingqi","family":"Chen","sequence":"first","affiliation":[{"name":"Beijing Institute of Technology,School of Mechanical Engineering,Beijing,China"}]},{"given":"Jinzhi","family":"Lu","sequence":"additional","affiliation":[{"name":"EPFL SCI-STI-DK, Station 9, CH1015 Lausanne,Switzerland"}]},{"given":"Guoxin","family":"Wang","sequence":"additional","affiliation":[{"name":"Beijing Institute of Technology,School of Mechanical Engineering,Beijing,China"}]},{"given":"Lei","family":"Feng","sequence":"additional","affiliation":[{"name":"KTH - Royal Institute of Technology,Stockholm,Sweden"}]},{"given":"Dimitris","family":"Kiritsis","sequence":"additional","affiliation":[{"name":"EPFL SCI-STI-DK, Station 9, CH1015 Lausanne,Switzerland"}]}],"member":"263","event":{"name":"2022 IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2022,4,25]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2022,4,28]]}},"container-title":["2022 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9773363\/9773791\/09773841.pdf?arnumber=9773841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T21:09:18Z","timestamp":1655154558000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9773841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/syscon53536.2022.9773841","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]}}}