{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T04:02:49Z","timestamp":1742702569596,"version":"3.40.2"},"reference-count":10,"publisher":"International Academy Publishing (IAP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCP"],"DOI":"10.4304\/jcp.7.2.362-370","type":"journal-article","created":{"date-parts":[[2012,2,28]],"date-time":"2012-02-28T14:06:36Z","timestamp":1330437996000},"source":"Crossref","is-referenced-by-count":4,"title":["Abstraction In Model Checking Real-Time Temporal Logic of Knowledge"],"prefix":"10.17706","volume":"7","author":[{"given":"CongHua","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,2,1]]},"reference":[{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"ref2","first-page":"1011","volume-title":"Bounded model checking for knowledge and real time, presented at Artif.","author":"Lomuscio","year":"2007"},{"issue":"Issue 4","key":"ref3","article-title":"Patrice Godefroid, Symmetry and reduced symmetry in model checking.","volume":"26","author":"Prasad Sistla","year":"2004","journal-title":"ACM Trans. Program. Languages Syst.","ISSN":"https:\/\/id.crossref.org\/issn\/0164-0925","issn-type":"print"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-010-0358-y"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"ref6","first-page":"1","volume-title":"An Abstraction Technique for Real-Time Verification","author":"Clarke","year":"2007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13824-9_9"},{"key":"ref8","first-page":"678","volume-title":"Joost- Pieter Katoen, Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref9","first-page":"688","volume":"1633\/1999","author":"Alur","year":"1999","journal-title":"Lect. Notes Comput. Sci.","ISSN":"https:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.846302"}],"container-title":["Journal of Computers"],"original-title":[],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T03:56:16Z","timestamp":1742615776000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jcp\/article\/view\/6774"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,1]]},"references-count":10,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,2,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jcp.7.2.362-370","relation":{},"ISSN":["1796-203X"],"issn-type":[{"type":"print","value":"1796-203X"}],"subject":[],"published":{"date-parts":[[2012,2,1]]}}}