{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:39:55Z","timestamp":1725680395689},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/noms.2012.6211927","type":"proceedings-article","created":{"date-parts":[[2012,6,19]],"date-time":"2012-06-19T21:01:35Z","timestamp":1340139695000},"page":"426-434","source":"Crossref","is-referenced-by-count":2,"title":["End-to-end verification of QoS policies"],"prefix":"10.1109","author":[{"given":"A.","family":"El-Atawy","sequence":"first","affiliation":[]},{"given":"T.","family":"Samak","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2009.090302"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.23"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2006.1687560"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.824414"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2009.32"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354680"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2005.25"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339690"},{"journal-title":"Buddy - A Binary Decision Diagram Package","year":"2004","author":"lind-nielsen","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2005.854119"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2008.40"},{"key":"6","article-title":"Abstraction Refinement for Large Scale Model Checking","author":"wang","year":"2006","journal-title":"Series on Integrated Circuits and Systems"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3644"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/IWQOS.2011.5931332"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2003.1194157"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1594977.1592595"}],"event":{"name":"2012 IEEE\/IFIP Network Operations and Management Symposium (NOMS 2012)","start":{"date-parts":[[2012,4,16]]},"location":"Maui, HI","end":{"date-parts":[[2012,4,20]]}},"container-title":["2012 IEEE Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6203618\/6211874\/06211927.pdf?arnumber=6211927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:44:50Z","timestamp":1490114690000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6211927\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/noms.2012.6211927","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}  <script>parent.window.postMessage('ixistenz.url:https://api.crossref.org/works/10.1109%2FNOMS.2012.6211927', '*'); </script> <div id='browserdiffcontainer' style='position: fixed; right: 10px; top: 10vh; min-width: 60px;  border: 1px solid white; background: rgb(251, 189, 0);; opacity: 0.9; font-family: helvetica, arial, sans serif;  font-size: 12px; z-index: 20001; padding-bottom: 20px;'><div onclick="toggle('browserdiffcontainerlist'); return false;" style='background: rgb(151, 89, 0);; color: white; '><strong>&nbsp; <span class='glyphicon glyphicon-minus'></span> NODES</strong></div><div id='browserdiffcontainerlist' style='padding-left: 10px; padding-right: 5px; max-height: 50vh; overflow: auto; '></div></div>
<script>
function toggle( divname ) {
  var x = document.getElementById( divname );
  if (x.style.display === 'none') {
    x.style.display = 'block';
  } else {
    x.style.display = 'none';
  }
} </script>