{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T17:40:09Z","timestamp":1738777209628,"version":"3.37.0"},"reference-count":11,"publisher":"Academy Publisher","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JNW"],"DOI":"10.4304\/jnw.8.6.1329-1335","type":"journal-article","created":{"date-parts":[[2013,6,17]],"date-time":"2013-06-17T16:04:37Z","timestamp":1371485077000},"source":"Crossref","is-referenced-by-count":6,"title":["Verification Method of Conditional Probability Based on Automaton"],"prefix":"10.4304","volume":"8","author":[{"given":"Mingyu","family":"Ji","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Di","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyuan","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2838","published-online":{"date-parts":[[2013,6,15]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.1.19-27"},{"issue":"no.l2","key":"ref2","first-page":"1907","article-title":"Model checking: theories, techniques and applications","volume":"30","author":"Lin","year":"2002","unstructured":"[2] Huimin Lin and Wenhui Zhang, \"Model checking: theories, techniques and applications,\" Acta Electronica Sinica, vol. 30, no.l2, pp.1907-1912, 2002.","journal-title":"Acta Electronica Sinica"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4304\/jnw.6.4.662-669"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.7.10.2503-2510"},{"issue":"no. 9","key":"ref5","first-page":"1941","article-title":"Model checking and verification of the internet payment system with spin","volume":"7","author":"Zhang","year":"2012","unstructured":"[5] Wei Zhang, Wenke Ma, Huiling Shi and Fuqiang Zhu, \"Model checking and verification of the internet payment system with spin,\" Journal of Software, vol. 7, no. 9, pp. 1941-1949, 2012.","journal-title":"J Softw","ISSN":"https:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"issue":"no. 7","key":"ref6","first-page":"1462","article-title":"Temporal logic to query semantic graphs using the model checking method","volume":"7","author":"Gueffaz","year":"2012","unstructured":"[6] Gueffaz M, Rampacek S and Nicolle C, \"Temporal logic to query semantic graphs using the model checking method,\" Journal of Software, vol. 7, no. 7, pp. 1462-1472, 2012.","journal-title":"J Softw","ISSN":"https:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1016.2010.01621"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2012.04089"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22012-8_21"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2012.09.009"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[11] Andr\u00e9s M E and Van Rossum P, \"Conditional probabilities over probabilistic and nondeterministic systems,\" Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, 2008, pp.157-172.","DOI":"10.1016\/j.ipl.2012.09.009"}],"container-title":["Journal of Networks"],"original-title":[],"deposited":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T17:02:05Z","timestamp":1738774925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dblp.org\/db\/journals\/jnw\/index.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,15]]},"references-count":11,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2013,6,15]]}},"URL":"https:\/\/doi.org\/10.4304\/jnw.8.6.1329-1335","relation":{},"ISSN":["1796-2056"],"issn-type":[{"type":"print","value":"1796-2056"}],"subject":[],"published":{"date-parts":[[2013,6,15]]}}}