{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:53:10Z","timestamp":1725486790158},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335358"},{"type":"electronic","value":"9783642335365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33536-5_17","type":"book-chapter","created":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T11:52:35Z","timestamp":1349005955000},"page":"179-182","source":"Crossref","is-referenced-by-count":0,"title":["Brief Announcement: Verification of Stabilizing Programs with SMT Solvers"],"prefix":"10.1007","author":[{"given":"Jingshu","family":"Chen","sequence":"first","affiliation":[]},{"given":"Sandeep","family":"Kulkarni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Self stabilizing systems in spite of distributed control. Communications of the ACM\u00a017(11) (1974)","DOI":"10.1145\/361179.361202"},{"key":"17_CR2","unstructured":"Orna, G., Clarke, M.E., Peled, D.A.: Model Checking. The MIT press (2000)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-17653-1_11","volume-title":"Principles of Distributed Systems","author":"J. Chen","year":"2010","unstructured":"Chen, J., Abujarad, F., Kulkarni, S.: Effect of Fairness in Model Checking of Self-stabilizing Programs. In: Lu, C., Masuzawa, T., Mosbah, M. (eds.) OPODIS 2010. LNCS, vol.\u00a06490, pp. 135\u2013138. Springer, Heidelberg (2010)"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/71.899941","volume":"12","author":"T. Tsuchiya","year":"2001","unstructured":"Tsuchiya, T., Nagano, S., Paidi, R.B., Kikuno, T.: Symbolic model checking for self-stabilizing algorithms. IEEE Trans. Parallel Distrib. Syst\u00a012, 81\u201395 (2001)","journal-title":"IEEE Trans. Parallel Distrib. Syst"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33536-5_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:14:37Z","timestamp":1620130477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33536-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335358","9783642335365"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33536-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}