{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:01:11Z","timestamp":1725613271158},"reference-count":2,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1109\/icsecompanion.2007.82","type":"proceedings-article","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T17:14:24Z","timestamp":1181236464000},"page":"99-100","source":"Crossref","is-referenced-by-count":3,"title":["Using Software Model Checking for Software Component Certification"],"prefix":"10.1109","author":[{"given":"Ali","family":"Taleghani","sequence":"first","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"2"},{"key":"1","first-page":"193","article-title":"Symbolic model checking without bdds","author":"biere","year":"1999","journal-title":"Proc TACAS 99"}],"event":{"name":"29th International Conference on Software Engineering","start":{"date-parts":[[2007,5,20]]},"location":"Minneapolis, MN, USA","end":{"date-parts":[[2007,5,26]]}},"container-title":["29th International Conference on Software Engineering (ICSE'07 Companion)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4222653\/4222654\/04222699.pdf?arnumber=4222699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T17:46:52Z","timestamp":1489600012000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4222699\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":2,"URL":"https:\/\/doi.org\/10.1109\/icsecompanion.2007.82","relation":{},"subject":[],"published":{"date-parts":[[2007,5]]}}}