{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T15:53:28Z","timestamp":1713455608815},"reference-count":0,"publisher":"Inderscience Publishers","issue":"1\/2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJES"],"published-print":{"date-parts":[[2005]]},"DOI":"10.1504\/ijes.2005.008815","type":"journal-article","created":{"date-parts":[[2006,9,9]],"date-time":"2006-09-09T09:55:46Z","timestamp":1157795746000},"page":"134","source":"Crossref","is-referenced-by-count":19,"title":["TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories"],"prefix":"10.1504","volume":"1","author":[{"given":"Miroslav N.","family":"Velev","sequence":"first","affiliation":[]},{"given":"Randal E.","family":"Bryant","sequence":"additional","affiliation":[]}],"member":"378","container-title":["International Journal of Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2007,2,13]],"date-time":"2007-02-13T20:56:13Z","timestamp":1171400173000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.inderscience.com\/link.php?id=8815"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":0,"journal-issue":{"issue":"1\/2","published-print":{"date-parts":[[2005]]}},"URL":"https:\/\/doi.org\/10.1504\/ijes.2005.008815","relation":{},"ISSN":["1741-1068","1741-1076"],"issn-type":[{"value":"1741-1068","type":"print"},{"value":"1741-1076","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}