{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:03:42Z","timestamp":1768291422612,"version":"3.49.0"},"reference-count":17,"publisher":"International Academy Publishing (IAP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.6.1619-1625","type":"journal-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T02:52:17Z","timestamp":1401418337000},"source":"Crossref","is-referenced-by-count":1,"title":["Model Checking the Convergence Property of BGP Networks"],"prefix":"10.17706","volume":"9","author":[{"given":"Ping","family":"Yin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinxue","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhe","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,6,1]]},"reference":[{"key":"ref1","volume-title":"Principles of the SPIN model checker","author":"Mordechai","year":"2008","unstructured":"[2] B.-A. Mordechai, Principles of the SPIN model checker. Springer, 2008."},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1002\/spe.2242","volume-title":"The SPIN model checker","author":"Holzmann","year":"2003","unstructured":"[3] G. J. Holzmann, The SPIN model checker: primer and reference manual. Addison-Wesley, 2003."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2242"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1166\/sl.2013.2653"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.7.10.2503-2510"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.8.7.1728-1741"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.9.2.388-395"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.8.8.2027-2033"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_51"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(99)00108-5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.1999.801912"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/AICT.2007.12"},{"key":"ref13","first-page":"334","volume-title":"Analyzing bgp instances in maude","author":"Wang","year":"2011","unstructured":"[21] A. Wang, C. L. Talcott, and L. M. Jia, \"Analyzing bgp instances in maude,\" Dingel R B J. Formal Techniques for Distributed Systems, pp. 334\u2013348, 2011."},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_20"},{"issue":"no. 2","key":"ref15","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1093\/comjnl\/bxt125","article-title":"On the generative power of $gamma$-grammars and $gamma$-automata","volume":"111","author":"Chen","year":"2011","unstructured":"[24] Z. Chen, \"On the generative power of $gamma$-grammars and $gamma$-automata,\" Fundamenta Informaticae, vol. 111, no. 2, pp. 119\u2013145, 2011.","journal-title":"Fundamenta Informaticae"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxt125"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T14:04:28Z","timestamp":1498140268000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/12244"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,1]]},"references-count":17,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2014,6,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.6.1619-1625","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,6,1]]}}}