{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T10:30:22Z","timestamp":1751365822268},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/qsic.2003.1319113","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T10:25:04Z","timestamp":1113301504000},"page":"290-297","source":"Crossref","is-referenced-by-count":10,"title":["Verifying CIM models of Apache Web-server configurations"],"prefix":"10.1109","author":[{"given":"C.","family":"Sinz","sequence":"first","affiliation":[]},{"given":"A.","family":"Khosravizadeh","sequence":"additional","affiliation":[]},{"given":"W.","family":"Kuchlin","sequence":"additional","affiliation":[]},{"given":"V.","family":"Mihajlovski","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006370506164"},{"article-title":"Apache: The Definitive Guide","year":"2002","author":"laurie","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48119-2_48"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989797"},{"journal-title":"Web Ontology Language (OWL) Reference Version 1 0 2002 W3C Working Draft 12 November 2002 Latest version","year":"0","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/APAQS.2001.990042"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00120-9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194092000075"},{"journal-title":"Distributed Management Task Force Inc CIM Operations over HTTP","year":"2002","key":"ref4"},{"journal-title":"Distributed Management Task Force Inc Common Information Model Specification","year":"1999","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45251-6_14"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36103-0_18"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","article-title":"Dynamic Logic","author":"harel","year":"2000"},{"article-title":"Design Patterns","year":"1995","author":"gamma","key":"ref7"},{"article-title":"The Description Logic Handbook","year":"2003","author":"baader","key":"ref2"},{"journal-title":"The Apache Software Foundation Apache HTTP Server Version 1 3 Documentation","year":"2002","key":"ref1"},{"journal-title":"IBM Linux Technology Center Standards Based Linux Instrumentation for Manageability","year":"2000","key":"ref9"}],"event":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","start":{"date-parts":[[2003,11,7]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2003,11,7]]}},"container-title":["Third International Conference on Quality Software, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9215\/29226\/01319113.pdf?arnumber=1319113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T08:59:20Z","timestamp":1549875560000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319113\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/qsic.2003.1319113","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}