{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:49:03Z","timestamp":1729630143542,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/iccchina.2012.6356870","type":"proceedings-article","created":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T02:14:08Z","timestamp":1354328048000},"page":"155-160","source":"Crossref","is-referenced-by-count":2,"title":["Model checking of the reliability of publish\/subscribe structure based system"],"prefix":"10.1109","author":[{"given":"Yue","family":"Jia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eliane","family":"Bodanese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Bigham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.57"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/346000.346017"},{"key":"11","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/11907466_9","article-title":"Network Configuration in A Box: Towards a managed extensible control plane for knowledge-based networking","volume":"4269","author":"lewis","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CSNT.2011.140"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1402958.1402972"},{"journal-title":"The Internet of Things A Survey","year":"2009","author":"atzori","key":"2"},{"journal-title":"Co-operation with the Working Group RFID of the ETP EPOSS Internet of Things in 2020 Roadmap for the Future","article-title":"INFSO D.4 Networked Enterprise & RFID INFSO G.2 Micro & Nanosystems","year":"2008","key":"1"},{"journal-title":"A Quick Bit of Temporal Logic Introducing CTL","year":"2009","author":"chu-carroll","key":"10"},{"journal-title":"NuSMV Model Checker","year":"2003","author":"pistore","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1402958.1402972"},{"key":"5","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/978-3-540-72736-1_2","article-title":"A message oriented middleware solution enabling non-repudiation evidence generation for reliable web services","volume":"4526","author":"parkin","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"journal-title":"Model checking","year":"1990","author":"clarke","key":"8"}],"event":{"name":"2012 1st IEEE International Conference on Communications in China (ICCC)","start":{"date-parts":[[2012,8,15]]},"location":"Beijing, China","end":{"date-parts":[[2012,8,17]]}},"container-title":["2012 1st IEEE International Conference on Communications in China (ICCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6333373\/6356837\/06356870.pdf?arnumber=6356870","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:23:14Z","timestamp":1498015394000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6356870\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iccchina.2012.6356870","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}