{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:12:43Z","timestamp":1725707563145},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642356025"},{"type":"electronic","value":"9783642356032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35603-2_10","type":"book-chapter","created":{"date-parts":[[2012,11,25]],"date-time":"2012-11-25T23:46:10Z","timestamp":1353887170000},"page":"72-79","source":"Crossref","is-referenced-by-count":1,"title":["Semantic Web Service Composition Using Formal Verification Techniques"],"prefix":"10.1007","author":[{"given":"Hyunyoung","family":"Kil","sequence":"first","affiliation":[]},{"given":"Wonhong","family":"Nam","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45657-0_2","volume-title":"Computer Aided Verification","author":"L. Zhang","year":"2002","unstructured":"Zhang, L., Malik, S.: The Quest for Efficient Boolean Satisfiability Solvers. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 17\u201336. Springer, Heidelberg (2002)"},{"key":"10_CR2","unstructured":"The Cadence SMV model checker, \n                  \n                    http:\/\/www.kenmcmil.com\/smv.html"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Kona, S., Bansal, A., Blake, B., Bleul, S., Weise, T.: WSC-2009: a quality of service-oriented web services challenge. In: The 11th IEEE Conference on Commerce and Enterprise Computing, pp. 487\u2013490 (2009)","DOI":"10.1109\/CEC.2009.80"},{"key":"10_CR4","unstructured":"Martin, D.: OWL-S: Semantic Markup for Web Services (2004), \n                  \n                    http:\/\/www.w3.org\/Submission\/OWL-S"},{"key":"10_CR5","unstructured":"Fensel, D., Kifer, M., de Bruijn, J., Domingue, J.: Web Service Modeling Ontology (WSMO). W3C member submission (2005)"},{"key":"10_CR6","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: a modern approach. Prentice-Hall (1995)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic Matching of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"10_CR8","unstructured":"Zhang, R., Arpinar, I.B., Aleman-Meza, B.: Automatic composition of semantic web services. In: Proceedings of the 10th International Conference on Web Services, pp. 38\u201341 (2003)"},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MIS.2004.27","volume":"19","author":"E. Sirin","year":"2004","unstructured":"Sirin, E., Parsia, B., Hendler, J.A.: Filtering and selecting semantic web services with interactive composition techniques. IEEE Intelligent Systems\u00a019(4), 42\u201349 (2004)","journal-title":"IEEE Intelligent Systems"},{"issue":"8","key":"10_CR10","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR11","unstructured":"Clarke, E., Grumberg, O., Peled., D.: Model checking. MIT Press (2000)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"Computer Aided Verification","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided Abstraction Refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 154\u2013169. Springer, Heidelberg (2000)"}],"container-title":["Communications in Computer and Information Science","Computer Applications for Database, Education, and Ubiquitous Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35603-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T03:05:16Z","timestamp":1557371116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35603-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642356025","9783642356032"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35603-2_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}