{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:26:19Z","timestamp":1730291179556,"version":"3.28.0"},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/qest.2008.20","type":"proceedings-article","created":{"date-parts":[[2008,9,29]],"date-time":"2008-09-29T20:04:33Z","timestamp":1222718673000},"page":"79-80","source":"Crossref","is-referenced-by-count":5,"title":["Prism2Promela"],"prefix":"10.1109","author":[{"given":"Christopher","family":"Power","sequence":"first","affiliation":[]},{"given":"Alice","family":"Miller","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Prism tutorial","year":"0","key":"3"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2004","author":"holzmann","key":"2"},{"key":"1","article-title":"mathematical techniques for analysing concurrent and probabilistic systems","volume":"23","author":"rutten","year":"2004","journal-title":"ser CRM Monograph Series"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TOOLS.1998.711009"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.20"}],"event":{"name":"2008 Fifth International Conference on Quantitative Evaluation of Systems","start":{"date-parts":[[2008,9,14]]},"location":"St Malo, France","end":{"date-parts":[[2008,9,17]]}},"container-title":["2008 Fifth International Conference on Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4634932\/4634933\/04634957.pdf?arnumber=4634957","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T16:23:32Z","timestamp":1489681412000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4634957\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/qest.2008.20","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}