{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:55:30Z","timestamp":1725476130155},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540673545"},{"type":"electronic","value":"9783540455622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720076_1","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T10:06:39Z","timestamp":1167386799000},"page":"1-12","source":"Crossref","is-referenced-by-count":0,"title":["Searching for a Solution to Program Verification=Equation Solving in CCS"],"prefix":"10.1007","author":[{"given":"Ra\u00fal","family":"Monroy","sequence":"first","affiliation":[]},{"given":"Alan","family":"Bundy","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Green","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/BFb0012826","volume-title":"9th Conference on Automated Deduction","author":"A. Bundy","year":"1988","unstructured":"Bundy, A.: The use of explicit plans to guide inductive proofs. In: Lusk, R., Overbeek, R. (eds.) 9th Conference on Automated Deduction, pp. 111\u2013120. Springer, Heidelberg (1988)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0004-3702(93)90079-Q","volume":"62","author":"A. Bundy","year":"1993","unstructured":"Bundy, A., Stevens, A., van Harmelen, F., Ireland, A., Smaill, A.: Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence\u00a062, 185\u2013253 (1993)","journal-title":"Artificial Intelligence"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BF00249016","volume":"7","author":"A. Bundy","year":"1991","unstructured":"Bundy, A., van Harmelen, F., Hesketh, J., Smaill, A.: Experiments with proof plans for induction. Journal of Automated Reasoning\u00a07, 303\u2013324 (1991)","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BF01383954","volume":"17","author":"R. Cleaveland","year":"1988","unstructured":"Cleaveland, R., Panangaden, P.: Type Theory and Concurrency. International Journal of Parallel Programming\u00a017(2), 153\u2013206 (1988)","journal-title":"International Journal of Parallel Programming"},{"key":"1_CR5","unstructured":"ISO. Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour. ISO 8807 (1989)"},{"key":"1_CR6","volume-title":"Proceedings of 13thInternational Symposium on Protocol Specification, Testing and Verification, IFIP Transactions","author":"H. Lin","year":"1993","unstructured":"Lin, H.: A Verification Tool for Value-Passing Processes. In: Proceedings of 13thInternational Symposium on Protocol Specification, Testing and Verification, IFIP Transactions. North-Holland, Amsterdam (1993)"},{"key":"1_CR7","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, London (1989)"},{"key":"1_CR8","first-page":"43","volume-title":"13th Conference on Automated Software Engineering, ASE 1998","author":"R. Monroy","year":"1998","unstructured":"Monroy, R., Bundy, A., Green, I.: Planning Equational Verifiation in CCS. In: Redmiles, D., Nuseibeh, B. (eds.) 13th Conference on Automated Software Engineering, ASE 1998, Hawaii, USA, pp. 43\u201352. IEEE Computer Society Press, Los Alamitos (1998); Candidate to best paper award"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"M. Nesi","year":"1992","unstructured":"Nesi, M.: Mechanizing a proof by induction of process algebra specifications in higher-order logic. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","MICAI 2000: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720076_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T06:45:33Z","timestamp":1553323533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720076_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540673545","9783540455622"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/10720076_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}