{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:36:47Z","timestamp":1729661807280,"version":"3.28.0"},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/emeit.2011.6023217","type":"proceedings-article","created":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T16:24:52Z","timestamp":1318436692000},"page":"808-812","source":"Crossref","is-referenced-by-count":0,"title":["A stochastic model checking method for the usability of clusters about distributed rendering system"],"prefix":"10.1109","author":[{"given":"Kemin","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongbin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"220","article-title":"Stochastic model checking","volume":"4486","author":"kwiatkowska","year":"2007","journal-title":"Formal Methods for the Design of Computer Communication and Software Systems Performance Evaluation (SFM'07)"},{"journal-title":"PRISM Manual","year":"0","key":"2"},{"key":"1","article-title":"Markov-based availability analysis of clusters for distributed rendering system","author":"hong","year":"2011","journal-title":"Journal of Communication"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CSO.2011.138"},{"key":"4","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-44585-4_19","article-title":"Parameterized verification with automatically computed inductive assertions","volume":"2001 2102","author":"arons","year":"2001","journal-title":"Computer Aided Verification Lecture Notes in Computer Science"}],"event":{"name":"Mechanical Engineering and Information Technology (EMEIT)","start":{"date-parts":[[2011,8,12]]},"location":"Harbin, Heilongjiang, China","end":{"date-parts":[[2011,8,14]]}},"container-title":["Proceedings of 2011 International Conference on Electronic & Mechanical Engineering and Information Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5996364\/6022979\/06023217.pdf?arnumber=6023217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:50:15Z","timestamp":1497930615000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6023217\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/emeit.2011.6023217","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}