{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:22:34Z","timestamp":1725798154609},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584209"},{"type":"electronic","value":"9783540487845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0013431","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:42:00Z","timestamp":1132731720000},"page":"393-405","source":"Crossref","is-referenced-by-count":3,"title":["Formalisation of properties for feature interaction detection: Experience in a real-life situation"],"prefix":"10.1007","author":[{"given":"Wiet","family":"Bouma","sequence":"first","affiliation":[]},{"given":"Willem","family":"Levelt","sequence":"additional","affiliation":[]},{"given":"Alfo","family":"Melisse","sequence":"additional","affiliation":[]},{"given":"Kees","family":"Middelburg","sequence":"additional","affiliation":[]},{"given":"Louis","family":"Verhaard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"40_CR1","volume-title":"Formal analysis of feature interactions by model checking","author":"L.G. Bouma","year":"1993","unstructured":"L.G. Bouma, J.H. Zuidweg. Formal analysis of feature interactions by model checking. In: Proceedings of the Second Workshop on Protocol Verification, Eindhoven, The Netherlands, 1993."},{"key":"40_CR2","unstructured":"V. Gay, P. Leydekkers, R. Huis in 't Veld. Specification of Audio\/Video Exchange Based on the Reference Model of ODP. In: Proceedings Broadband Islands '94, June 1994."},{"key":"40_CR3","unstructured":"J. Bloem, Glenn Flinchbaugh, H. Oshigiri. Connection Management Architecture. TINA Document, December 1993."},{"key":"40_CR4","unstructured":"P. Tilanus and H. Wilts. Test Design based on SDL simulation. In: SDL'91 Evolving Methods, (O. F\u00e6rgemand, R. Reed editors), North Holland, 1991."},{"key":"40_CR5","unstructured":"CCITT, New Recommendations Q1200 \u2014 Q series: Intelligent Network Recommendation. Technical report, CCITT, COM XI-R 210-E, 1992."},{"key":"40_CR6","unstructured":"N. Griffith, H. Velthuijsen. The Negotiating Agents Approach to Runtime Feature Interaction Resolution. In: L.G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunictions Systems. IOS Press, 1994."},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"E.J. Cameron, N. Griffith, Y.-J. Lin, M.E. Nilson, W.K. Schnure, and H. Velthuijsen. A feature interaction benchmark for IN and beyond. In L.G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunictions Systems. IOS Press, 1994.","DOI":"10.1109\/35.199613"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"R. de Nicola and F. Vaandrager. Action versus state based logics for transition systems. In I. Guessarian, editor, Semantics of Concurrency, pages 407\u2013419. Springer Verlag, LNCS 469, 1990.","DOI":"10.1007\/3-540-53479-2_17"},{"key":"40_CR9","unstructured":"C.A. Middelburg. A simple language for expressing properties of telecommunication services and features. Technical Report 94-PU-356, PTT Research, 1994."}],"container-title":["Lecture Notes in Computer Science","Towards a Pan-European Telecommunication Service Infrastructure \u2014 IS&N '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:37:03Z","timestamp":1586579823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013431"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584209","9783540487845"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0013431","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}