{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:15:41Z","timestamp":1759637741753},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229923"},{"type":"electronic","value":"9783642229930"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22993-0_9","type":"book-chapter","created":{"date-parts":[[2011,8,9]],"date-time":"2011-08-09T12:44:46Z","timestamp":1312893886000},"page":"60-71","source":"Crossref","is-referenced-by-count":17,"title":["Quantitative Refinement for Weighted Modal Transition Systems"],"prefix":"10.1007","author":[{"given":"Sebastian S.","family":"Bauer","sequence":"first","affiliation":[]},{"given":"Uli","family":"Fahrenberg","sequence":"additional","affiliation":[]},{"given":"Line","family":"Juhl","sequence":"additional","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"given":"Claus","family":"Thrane","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/TSE.2008.106","volume":"35","author":"L. Alfaro de","year":"2009","unstructured":"de Alfaro, L., Faella, M., Stoelinga, M.: Linear and branching system metrics. IEEE Trans. Software Eng.\u00a035(2), 258\u2013273 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"9_CR2","series-title":"NATO Science Series II: Mathematics, Physics and Chemistry","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software Intensive Systems","author":"L. Alfaro de","year":"2005","unstructured":"de Alfaro, L., Henzinger, T.: Interface-based design. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. NATO Science Series II: Mathematics, Physics and Chemistry, vol.\u00a0195, pp. 83\u2013104. Springer, Heidelberg (2005)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bauer, S.S., Juhl, L., Larsen, K.G., Legay, A., Srba, J.: Extending modal transition systems with structured labels (submitted, 2011)","DOI":"10.1017\/S0960129511000697"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-03466-4_7","volume-title":"Theoretical Aspects of Computing - ICTAC 2009","author":"N. Bene\u0161","year":"2009","unstructured":"Bene\u0161, N., K\u0159et\u00ednsk\u00fd, J., Larsen, K.G., Srba, J.: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, vol.\u00a05684, pp. 112\u2013126. Springer, Heidelberg (2009)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-45657-0_34","volume-title":"Computer Aided Verification","author":"A. Chakrabarti","year":"2002","unstructured":"Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: Synchronous and Bidirectional Component Interfaces. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 414\u2013427. Springer, Heidelberg (2002)"},{"key":"9_CR6","unstructured":"STREP COMBEST (COMponent-Based Embedded Systems design Techniques), http:\/\/www.combest.eu\/home\/"},{"issue":"2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0890-5401(92)90048-K","volume":"96","author":"A. Condon","year":"1992","unstructured":"Condon, A.: The complexity of stochastic games. Information and Computation\u00a096(2), 203\u2013224 (1992)","journal-title":"Information and Computation"},{"issue":"6+","key":"9_CR8","first-page":"1311","volume":"29","author":"U. Fahrenberg","year":"2010","unstructured":"Fahrenberg, U., Larsen, K.G., Thrane, C.: A quantitative characterization of weighted Kripke structures in temporal logic. Computing and Informatics\u00a029(6+), 1311\u20131324 (2010)","journal-title":"Computing and Informatics"},{"key":"9_CR9","unstructured":"Fahrenberg, U., Thrane, C., Larsen, K.G.: Distances for weighted transition systems: Games and properties. In: Proc. QAPL 2011, Electronic Proceedings in Theoretical Computer Science (to be published, 2011)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Juhl, L., Larsen, K.G., Srba, J.: Modal transition systems with weight intervals. Journal of Logic and Algebraic Programming (to be published, 2011)","DOI":"10.1016\/j.jlap.2012.03.008"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Fahrenberg, U., Thrane, C.: Metrics for weighted transition systems: Axiomatization and complexity. Theoretical Computer Science (2011), doi:10.1016\/j.tcs.2011.04.003","DOI":"10.1016\/j.tcs.2011.04.003"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-52148-8_19","volume-title":"Automatic Verification Methods for Finite State Systems","author":"K.G. Larsen","year":"1990","unstructured":"Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 232\u2013246. Springer, Heidelberg (1990)"},{"key":"9_CR13","unstructured":"Lynch, N., Tuttle, M.R.: An introduction to input\/output automata. CWI-Quarterly\u00a02(3) (1989)"},{"key":"9_CR14","unstructured":"Nyman, U.: Modal Transition Systems as the Basis for Interface Theories and Product Lines. PhD thesis, Aalborg University, Department of Computer Science (September 2008)"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.entcs.2008.06.023","volume":"215","author":"J.-B. Raclet","year":"2008","unstructured":"Raclet, J.-B.: Residual for component specifications. Electr. Notes in Theor. Comput. Sci.\u00a0215, 93\u2013110 (2008)","journal-title":"Electr. Notes in Theor. Comput. Sci."},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"108","DOI":"10.2478\/s13537-011-0008-y","volume":"1","author":"J. Sifakis","year":"2011","unstructured":"Sifakis, J.: A vision for computer science \u2013 the system perspective. Central European Journal of Computer Science\u00a01(1), 108\u2013116 (2011)","journal-title":"Central European Journal of Computer Science"},{"key":"9_CR17","unstructured":"SPEEDS (SPEculative and Exploratory Design in Systems Engineering), http:\/\/www.speeds.eu.com\/"},{"issue":"7","key":"9_CR18","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/j.jlap.2010.07.010","volume":"79","author":"C. Thrane","year":"2010","unstructured":"Thrane, C., Fahrenberg, U., Larsen, K.G.: Quantitative simulations of weighted transition systems. Journal of Logic and Algebraic Programming\u00a079(7), 689\u2013703 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0030814","volume-title":"Computing and Combinatorics","author":"U. Zwick","year":"1995","unstructured":"Zwick, U., Paterson, M.: The complexity of mean payoff games. In: Li, M., Du, D.-Z. (eds.) COCOON 1995. LNCS, vol.\u00a0959, pp. 1\u201310. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22993-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:10:20Z","timestamp":1606187420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22993-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229923","9783642229930"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22993-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}