{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:08:06Z","timestamp":1725487686025},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442561"},{"type":"electronic","value":"9783540458036"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45803-4_58","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T05:37:11Z","timestamp":1185860231000},"page":"641-651","source":"Crossref","is-referenced-by-count":0,"title":["Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services"],"prefix":"10.1007","author":[{"given":"Takayuki","family":"Hamada","sequence":"first","affiliation":[]},{"given":"Tatsuhiro","family":"Tsuchiya","sequence":"additional","affiliation":[]},{"given":"Masahide","family":"Nakamura","sequence":"additional","affiliation":[]},{"given":"Tohru","family":"Kikuno","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,13]]},"reference":[{"issue":"2","key":"58_CR1","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla, \u201cAutomatic verification of finite-state concurrent systems using temporal-logic specifications,\u201d ACM Trans. Programming Languages and Systems, vol. 8, no. 2, pp. 244\u2013263, 1986.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"58_CR2","unstructured":"R. Dssouli, S. Some, J. W. Guillery, and N. Rico, \u201cDetection of feature interactions with REST,\u201d Porc. of Fourth Workshop on Feature Interactions in Telecommunications Systems, pp. 271\u2013283, July 1997."},{"key":"58_CR3","unstructured":"A. Gammelgaard, E. J. Kristensen, \u201cInteraction detection, a logical approach,\u201d Porc. of Second Workshop on Feature Interactions in Telecommunications Systems, pp. 178\u2013196 1994."},{"key":"58_CR4","unstructured":"Y. Harada, Y. Hirakawa, T. Takenaka, and N. Terashima, \u201cA conflict detection support method for telecommunication service descriptions,\u201d IEICE Trans. Commun., vol. E75-B, no. 10, Oct. 1992."},{"key":"58_CR5","doi-asserted-by":"crossref","unstructured":"Y. Hirakawa and T. Takenaka, \u201cTelecommunication service description using state transition rules,\u201d Proc. of IEEE Int\u2019l Workshop on Software Specification and Design, pp. 140\u2013147, Oct. 1991","DOI":"10.1109\/IWSSD.1991.213067"},{"key":"58_CR6","unstructured":"A. Koumsi, \u201cDetection and resolution of interactions between services of telephone networks,\u201d Proc. of Fourth Workshop on Feature Interactions in Telecommunications Systems, pp. 78\u201392, July 1997."},{"key":"58_CR7","doi-asserted-by":"crossref","unstructured":"K. L. McMillan, Symbolic Model Checking, Kluwer Academic, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"issue":"10","key":"58_CR8","first-page":"1352","volume":"E82-D","author":"M. Nakamura","year":"1999","unstructured":"M. Nakamura and T. Kikuno, \u201cExploiting symmetric relation for efficient feature interaction detection,\u201d IEICE Trans. on Information and Systems, vol. E82-D, No. 10, pp. 1352\u20131363, 1999.","journal-title":"IEICE Trans. on Information and Systems"},{"key":"58_CR9","unstructured":"T. Ohta and Y. Harada, \u201cClassification, detection and resolution of service interaction in telecommunication services,\u201d Porc. of Second Workshop on Feature Interactions in Telecommunications Systems, pp. 60\u201372 1994."},{"key":"58_CR10","unstructured":"M. Plath and M. Ryan, \u201cPlug-and-play features,\u201d In W. Bouma, editor, Feature Interactions in Telecommunications Systems V, IOS Press, pp. 150\u2013164, 1998."},{"key":"58_CR11","unstructured":"ITU-T Recommendations Q.1200 Series, Intelligent Network Capability Set 1 (CS1), Sept. 1990."},{"key":"58_CR12","unstructured":"Bellcore, LSSGR Feature Common to Residence and Business Customers I,II,IIIi Issue 2, July 1987."}],"container-title":["Lecture Notes in Computer Science","Information Networking: Wired Communications and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45803-4_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T20:02:51Z","timestamp":1550433771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45803-4_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442561","9783540458036"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45803-4_58","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}