{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T00:15:03Z","timestamp":1777853703967,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JID"],"published-print":{"date-parts":[[2017,6,2]]},"DOI":"10.3233\/jid-2016-0020","type":"journal-article","created":{"date-parts":[[2016,10,21]],"date-time":"2016-10-21T11:39:22Z","timestamp":1477049962000},"page":"39-70","source":"Crossref","is-referenced-by-count":2,"title":["Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method"],"prefix":"10.1177","volume":"20","author":[{"given":"Fatma Zohra","family":"Mekahlia","sequence":"first","affiliation":[{"name":"RIIR Laboratory, Computer Science Department, Exact Sciences and Applied Faculty, University of Oran1 Ahmed Ben Bella, Oran, Algeria"}]},{"given":"Abdelghani","family":"Ghomari","sequence":"additional","affiliation":[{"name":"RIIR Laboratory, Computer Science Department, Exact Sciences and Applied Faculty, University of Oran1 Ahmed Ben Bella, Oran, Algeria"}]},{"given":"Samy","family":"Yazid","sequence":"additional","affiliation":[{"name":"Computer Science Department, Exact Sciences and Applied Faculty, University of Oran1 Ahmed Ben Bella, Oran, Algeria"}]},{"given":"Djamel","family":"Djenouri","sequence":"additional","affiliation":[{"name":"CERIST Research Center, Algiers, Algeria"}]}],"member":"179","container-title":["Journal of Integrated Design and Process Science"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/jid-2016-0020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T22:56:11Z","timestamp":1777503371000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/jid-2016-0020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,2]]},"references-count":0,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/jid-2016-0020","relation":{},"ISSN":["1092-0617","1875-8959"],"issn-type":[{"value":"1092-0617","type":"print"},{"value":"1875-8959","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,2]]}}}