{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:17:08Z","timestamp":1729639028465,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/aiccsa.2018.8612803","type":"proceedings-article","created":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T01:26:29Z","timestamp":1547774789000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems"],"prefix":"10.1109","author":[{"given":"Agnieszka M.","family":"Zbrzezny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Zbrzezny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00355298"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref3"},{"key":"ref10","first-page":"513","article-title":"Improving the Translation from ECTL to SAT","volume":"85","author":"zbrzezny","year":"2008","journal-title":"Fundamenta Inform"},{"key":"ref6","first-page":"409","article-title":"All from One, One for All: on Model Checking Using Representatives","volume":"697","author":"peled","year":"1993","journal-title":"Proceedings of the 5th International Conference on Computer Aided Verification (CAV'93)"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-3-319-44832-9_9","article-title":"Verifying real-time properties of multi-agent systems via smt-based bounded model checking","author":"zbrzezny","year":"2016","journal-title":"PRIMA 2016 Princiles and Practice of Multi-Agent Systems - 19th International Conference"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","author":"fagin","year":"1995","journal-title":"Reasoning About Knowledge"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24769-9_40"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008734703554"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume":"53","author":"blackburn","year":"2001","journal-title":"Modal Logic"},{"key":"ref9","first-page":"1","article-title":"Checking EMTLK properties of timed interpreted systems via bounded model checking","author":"wo?na-szcze?niak","year":"2015","journal-title":"Studia Logica"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"}],"event":{"name":"2018 IEEE\/ACS 15th International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2018,10,28]]},"location":"Aqaba","end":{"date-parts":[[2018,11,1]]}},"container-title":["2018 IEEE\/ACS 15th International Conference on Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8612460\/8612765\/08612803.pdf?arnumber=8612803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T05:35:28Z","timestamp":1720935328000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8612803\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2018.8612803","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}