{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T04:08:30Z","timestamp":1777522110869,"version":"3.51.4"},"reference-count":14,"publisher":"SAGE Publications","issue":"8","license":[{"start":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T00:00:00Z","timestamp":1501545600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.liebertpub.com\/nv\/resources-tools\/text-and-data-mining-policy\/121\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computational Biology"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1089\/cmb.2017.0099","type":"journal-article","created":{"date-parts":[[2017,7,7]],"date-time":"2017-07-07T16:20:21Z","timestamp":1499444421000},"page":"734-745","source":"Crossref","is-referenced-by-count":1,"title":["A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks"],"prefix":"10.1177","volume":"24","author":[{"given":"Vincent","family":"Picard","sequence":"first","affiliation":[{"name":"IRISA, CNRS, Rennes, France."},{"name":"LS2N, Universit\u00e9 de Nantes, Nantes, France."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Siegel","sequence":"additional","affiliation":[{"name":"IRISA, CNRS, Rennes, France."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00e9mie","family":"Bourdon","sequence":"additional","affiliation":[{"name":"LS2N, Universit\u00e9 de Nantes, Nantes, France."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"B1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-002-0339-5"},{"key":"B2","doi-asserted-by":"crossref","first-page":"1633","DOI":"10.1093\/genetics\/149.4.1633","volume":"149","author":"Arkin A.","year":"1998","journal-title":"Genetics"},{"key":"B3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"B4","volume-title":"Computers and Intractability","volume":"29","author":"Garey M.R.","year":"2002"},{"key":"B5","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(76)90041-3"},{"key":"B6","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.physchem.58.032806.104637"},{"key":"B7","volume-title":"Principles of Computational Cell Biology","author":"Helms V.","year":"2008"},{"key":"B8","doi-asserted-by":"publisher","DOI":"10.1063\/1.1678692"},{"key":"B9","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.94.3.814"},{"key":"B10","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.1614"},{"key":"B11","doi-asserted-by":"publisher","DOI":"10.1016\/S0968-0004(03)00064-1"},{"key":"B12","doi-asserted-by":"publisher","DOI":"10.1016\/j.compbiolchem.2008.03.018"},{"key":"B13","doi-asserted-by":"crossref","unstructured":"TarskiA. 1951. A decision method for elementary algebra and geometry. University of California Press, USA.","DOI":"10.1525\/9780520348097"},{"key":"B14","doi-asserted-by":"publisher","DOI":"10.1038\/nrg2509"}],"container-title":["Journal of Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.liebertpub.com\/doi\/full-xml\/10.1089\/cmb.2017.0099","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.liebertpub.com\/doi\/pdf\/10.1089\/cmb.2017.0099","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T16:16:21Z","timestamp":1777392981000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.1089\/cmb.2017.0099"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":14,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["10.1089\/cmb.2017.0099"],"URL":"https:\/\/doi.org\/10.1089\/cmb.2017.0099","relation":{},"ISSN":["1557-8666"],"issn-type":[{"value":"1557-8666","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8]]}}}