{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:57:03Z","timestamp":1725519423982},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/iwqos.2011.5931332","type":"proceedings-article","created":{"date-parts":[[2011,6,29]],"date-time":"2011-06-29T19:15:44Z","timestamp":1309374944000},"page":"1-3","source":"Crossref","is-referenced-by-count":4,"title":["QoS policy verification for DiffServ networks"],"prefix":"10.1109","author":[{"given":"Taghrid","family":"Samak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adel","family":"El-Atawy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehab","family":"Al-Shaer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"Symbolic Model Checking","author":"wang","year":"2006","journal-title":"Abstraction refinement for large scale model checking"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/ICNP.2009.5339690"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/POLICY.2008.40"},{"year":"2004","author":"lind-nielsen","article-title":"Buddy — a binary decision diagram package","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/136035.136043"}],"event":{"name":"2011 IEEE 19th International Workshop on Quality of Service (IWQoS)","start":{"date-parts":[[2011,6,6]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2011,6,7]]}},"container-title":["2011 IEEE Nineteenth IEEE International Workshop on Quality of Service"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5888726\/5931241\/05931332.pdf?arnumber=5931332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T07:24:03Z","timestamp":1490081043000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5931332\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/iwqos.2011.5931332","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}