{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:44:10Z","timestamp":1725493450910},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540007081"},{"type":"electronic","value":"9783540365327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36532-x_26","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:34:36Z","timestamp":1193340876000},"page":"461-470","source":"Crossref","is-referenced-by-count":3,"title":["CafeOBJ as a Tool for Behavioral System Verification"],"prefix":"10.1007","author":[{"given":"Akira","family":"Mori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kokichi","family":"Futatsugi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,25]]},"reference":[{"issue":"1","key":"26_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Malcolm, G.: A Hidden Agenda. Theoretical Computer Science, 245(1) (2000) 55\u2013101","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"26_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1008649901864","volume":"6","author":"P. Cousot","year":"1999","unstructured":"Cousot, P., Cousot, R.: Refining Model Checking by Abstract Interpretation. Automated Software Engineering Journal, 6(1) (1999) 69\u201395","journal-title":"Automated Software Engineering Journal"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report. World Scientific (1998)","DOI":"10.1142\/3831"},{"issue":"11","key":"26_CR4","doi-asserted-by":"publisher","first-page":"966","DOI":"10.1145\/359642.359655","volume":"21","author":"E. W. Dijkstra","year":"1978","unstructured":"Dijkstra, E. W., Lamport, L., Martin, A. J., Scholten, C. S., Steffens, E. F. M.: On-the-Fly Garbage Collection: An Exercise in Cooperation. Communications of the ACM, 21(11) (1978) 966\u2013975","journal-title":"Communications of the ACM"},{"key":"26_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Breaking and fixing the Needham-Schroeder public-key protocol using FDR","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. Lecture Notes in Computer Science, 1055 (1996) 147\u2013166"},{"key":"26_CR6","unstructured":"Takahashi, K., Toda, Y., Hagiya, M.: Nonce Analysis and Strand Space Model, Japan Society for Software Science and Technology (2000)"},{"issue":"12","key":"26_CR7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.3233\/JCS-2001-91-203","volume":"9","author":"D. Song","year":"2001","unstructured":"Song, D., Berezin, S., Perrig, A.: Athena, a Novel Approach to Efficient Automatic Security Protocol Analysis. Journal of Computer Security, 9(1,2) (2001) 47\u201374","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Software Security \u2014 Theories and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36532-X_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T15:23:30Z","timestamp":1551021810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36532-X_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540007081","9783540365327"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-36532-x_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}