{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:57Z","timestamp":1760586597868,"version":"3.38.0"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T00:00:00Z","timestamp":1322092800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00446-011-0149-1","type":"journal-article","created":{"date-parts":[[2011,11,26]],"date-time":"2011-11-26T01:32:59Z","timestamp":1322271179000},"page":"35-62","source":"Crossref","is-referenced-by-count":26,"title":["Implementation relations and test generation for systems with distributed interfaces"],"prefix":"10.1007","volume":"25","author":[{"given":"Robert M.","family":"Hierons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,24]]},"reference":[{"issue":"7","key":"149_CR1","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1109\/TSE.2003.1214326","volume":"29","author":"R. Alur","year":"2003","unstructured":"Alur R., Etessami K., Yannakakis M.: Inference of message sequence charts. IEEE Trans. Softw. Eng. 29(7), 623\u2013633 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"149_CR2","doi-asserted-by":"crossref","unstructured":"Barnett, M., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Towards a tool environment for model-based testing with AsmL. In: 3rd International Workshop on Formal Approaches to Testing of Software, FATES\u201903, LNCS 2931, pp. 252\u2013266. Springer (2003)","DOI":"10.1007\/978-3-540-24617-6_18"},{"key":"149_CR3","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Model-based runtime analysis of distributed reactive systems. In: 17th Australian Software Engineering Conference, ASWEC\u201906, pp. 243\u2013252. IEEE Computer Society (2006)","DOI":"10.1109\/ASWEC.2006.36"},{"key":"149_CR4","doi-asserted-by":"crossref","unstructured":"Bochmann, G.V., Haar, S., Jard, C., Jourdan, G.V.: Testing systems specified as partial order input\/output automata. In: Joint 20th IFIP TC6\/WG6.1 International Conference on Testing of Software and Communicating Systems, TestCom\u201908, and 8th International Workshop on Formal Approaches to Software Testing, FATES\u201908, LNCS 5047, pp. 169\u2013183. Springer (2008)","DOI":"10.1007\/978-3-540-68524-1_13"},{"key":"149_CR5","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0169-7552(91)90079-R","volume":"22","author":"B.S. Bosik","year":"1991","unstructured":"Bosik B.S., Uyar M.\u00dc.: Finite state machine based formal methods in protocol conformance testing. Comput. Netw. ISDN Syst. 22, 7\u201333 (1991)","journal-title":"Comput. Netw. ISDN Syst."},{"issue":"3","key":"149_CR6","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0020-0190(91)90166-F","volume":"40","author":"S. Boyd","year":"1991","unstructured":"Boyd S., Ural H.: The synchronization problem in protocol testing and its complexity. Inf. Process. Lett. 40(3), 131\u2013136 (1991)","journal-title":"Inf. Process. Lett."},{"key":"149_CR7","doi-asserted-by":"crossref","unstructured":"Brinksma, E., Heerink, L., Tretmans, J.: Factorized test generation for multi-input\/output transition systems. In: 11th IFIP Workshop on Testing of Communicating Systems, IWTCS\u201998, pp. 67\u201382. Kluwer (1998)","DOI":"10.1007\/978-0-387-35381-4_5"},{"key":"149_CR8","doi-asserted-by":"crossref","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: an annotated bibliography. In: 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP\u201900, LNCS 2067, pp. 187\u2013195. Springer (2001)","DOI":"10.1007\/3-540-45510-8_9"},{"issue":"11\u201312","key":"149_CR9","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","volume":"41","author":"L. Cacciari","year":"1999","unstructured":"Cacciari L., Rafiq O.: Controllability and observability in distributed testing. Inf. Softw. Technol. 41(11\u201312), 767\u2013780 (1999)","journal-title":"Inf. Softw. Technol."},{"key":"149_CR10","doi-asserted-by":"crossref","unstructured":"Chen, J., Hierons, R.M., Ural, H.: Testing in the distributed test architecture. In: Formal Methods and Testing, LNCS 4949, pp. 157\u2013183. Springer (2008)","DOI":"10.1007\/978-3-540-78917-8_5"},{"key":"149_CR11","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1109\/90.374116","volume":"3","author":"W. Chen","year":"1995","unstructured":"Chen W., Ural H.: Synchronizable checking sequences based on multiple UIO sequences. IEEE\/ACM Trans. Netw. 3, 152\u2013157 (1995)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"149_CR12","doi-asserted-by":"crossref","unstructured":"Cunha de Almeida, E., Marynowski, J., Suny\u00e9, G., Traon, Y.L., Valduriez, P.: Efficient distributed test architecture for large-scale systems. In: 22nd International Conference on Testing Software and Systems, ICTSS\u201910, LNCS 6435, pp. 174\u2013187. Springer (2010)","DOI":"10.1007\/978-3-642-16573-3_13"},{"key":"149_CR13","unstructured":"Dssouli, R., Bochmann, G.V.: Error detection with multiple observers. In: 5th WG6.1 International Conference on Protocol Specification, Testing and Verification, PSTV\u201985, pp. 483\u2013494. North-Holland (1985)"},{"key":"149_CR14","unstructured":"Dssouli, R., Bochmann, G.V.: Conformance testing with multiple observers. In: 6th WG6.1 International Conference on Protocol Specification, Testing and Verification, PSTV\u201986, pp. 217\u2013229. North-Holland (1986)"},{"issue":"11","key":"149_CR15","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/TSE.2002.1049402","volume":"28","author":"A. En-Nouaary","year":"2002","unstructured":"En-Nouaary A., Dssouli R., Khendek F.: Timed Wp-method: testing real time systems. IEEE Trans. Softw. Eng. 28(11), 1024\u20131039 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"149_CR16","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1147\/sj.411.0089","volume":"41","author":"E. Farchi","year":"2002","unstructured":"Farchi E., Hartman A., Pinter S.: Using a model-based test generator to test for standard conformance. IBM Syst. J. 41(1), 89\u2013110 (2002)","journal-title":"IBM Syst. J."},{"issue":"1","key":"149_CR17","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/stvr.427","volume":"21","author":"W. Grieskamp","year":"2011","unstructured":"Grieskamp W., Kicillof N., Stobie K., Braberman V.A.: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verification Reliab. 21(1), 55\u201371 (2011)","journal-title":"Softw. Test. Verification Reliab."},{"key":"149_CR18","doi-asserted-by":"crossref","unstructured":"Gunter, D., Tierney, B., Crowley, B., Holding, M., Lee, J.: Netlogger: a toolkit for distributed system performance analysis. In: 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS\u201900, pp. 267\u2013273. IEEE Computer Society (2000)","DOI":"10.1109\/MASCOT.2000.876548"},{"key":"149_CR19","doi-asserted-by":"crossref","unstructured":"Haar, S., Jard, C., Jourdan, G.V.: Testing input\/output partial order automata. In: Joint 19th IFIP TC6\/WG6.1 International Conference on Testing of Software and Communicating Systems, TestCom\u201907, and 7th Int. Workshop on Formal Approaches to Software Testing, FATES\u201907, LNCS 4581, pp. 171\u2013185. Springer (2007)","DOI":"10.1007\/978-3-540-73066-8_12"},{"issue":"7","key":"149_CR20","doi-asserted-by":"crossref","first-page":"1123","DOI":"10.1016\/j.infsof.2008.11.002","volume":"51","author":"R.M. Hierons","year":"2009","unstructured":"Hierons R.M.: Using status messages in the distributed test architecture. Inf. Softw. Technol. 51(7), 1123\u20131130 (2009)","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"149_CR21","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1016\/j.tcs.2009.09.039","volume":"411","author":"R.M. Hierons","year":"2010","unstructured":"Hierons R.M.: Canonical finite state machines for distributed systems. Theor. Comput. Sci. 411(2), 566\u2013580 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"149_CR22","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A., Vilkomir, S., Woodward, M., Zedan, H.: Using formal methods to support testing. ACM Comput. Surv. 41(2), 9:1\u20139:76 (2009)","DOI":"10.1145\/1459352.1459354"},{"volume-title":"Formal Methods and Testing, LNCS 4949","year":"2008","key":"149_CR23","unstructured":"Hierons, R.M., Bowen, J., Harman, M. (eds): Formal Methods and Testing, LNCS 4949. Springer, Berlin (2008)"},{"key":"149_CR24","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Controllable test cases for the distributed test architecture. In: 6th Internationl Symposium on Automated Technology for Verification and Analysis, ATVA\u201908, LNCS 5311, pp. 201\u2013215. Springer (2008)","DOI":"10.1007\/978-3-540-88387-6_16"},{"key":"149_CR25","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations for the distributed test architecture. In: Joint 20th IFIP TC6\/WG6.1 International Conference on Testing of Software and Communicating Systems, TestCom\u201908, and 8th International Workshop on Formal Approaches to Software Testing, FATES\u201908, LNCS 5047, pp. 200\u2013215. Springer (2008)","DOI":"10.1007\/978-3-540-68524-1_15"},{"issue":"10","key":"149_CR26","doi-asserted-by":"crossref","first-page":"999","DOI":"10.1002\/spe.1062","volume":"41","author":"R.M. Hierons","year":"2011","unstructured":"Hierons R.M., Merayo M.G., N\u00fa\u00f1ez M.: Scenarios-based testing of systems with distributed ports. Softw. Pract. Exp. 41(10), 999\u20131026 (2011)","journal-title":"Softw. Pract. Exp."},{"issue":"12","key":"149_CR27","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1016\/S0950-5849(03)00060-0","volume":"45","author":"R.M. Hierons","year":"2003","unstructured":"Hierons R.M., Ural H.: Synchronized checking sequences based on UIO sequences. Inf. Softw. Technol. 45(12), 793\u2013803 (2003)","journal-title":"Inf. Softw. Technol."},{"issue":"3","key":"149_CR28","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s00446-008-0062-4","volume":"21","author":"R.M. Hierons","year":"2008","unstructured":"Hierons R.M., Ural H.: Checking sequences for distributed test architectures. Distrib. Comput. 21(3), 223\u2013238 (2008)","journal-title":"Distrib. Comput."},{"issue":"4","key":"149_CR29","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1093\/comjnl\/bxm096","volume":"51","author":"R.M. Hierons","year":"2008","unstructured":"Hierons R.M., Ural H.: The effect of the distributed test architecture on the power of testing. Comput. J. 51(4), 497\u2013510 (2008)","journal-title":"Comput. J."},{"key":"149_CR30","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. Hopcroft","year":"2006","unstructured":"Hopcroft J., Motwani R., Ullman J.: Introduction to Automata Theory, Languages, and Computation. 3rd edn. Addison-Wesley, Reading (2006)","edition":"3"},{"key":"149_CR31","doi-asserted-by":"crossref","unstructured":"Huang, C.M., Chang, Y.I., Liu, M.: A computer-aided incremental protocol test sequence generation: the production system approach. In: IEEE Annual Phoenix Conference on Computers and Communications, pp. 608\u2013614. IEEE Computer Society (1991)","DOI":"10.1109\/PCCC.1991.113870"},{"key":"149_CR32","doi-asserted-by":"crossref","unstructured":"Huo, J., Petrenko, A.: On testing partially specified IOTS through lossless queues. In: 16th International Conference on Testing Communicating Systems, TestCom\u201904, LNCS 2978, pp. 76\u201394. Springer (2004)","DOI":"10.1007\/978-3-540-24704-3_6"},{"key":"149_CR33","unstructured":"Huo, J., Petrenko, A.: Covering transitions of concurrent systems through queues. In: 16th International Symposium on Software Reliability Engineering, ISSRE\u201905, pp. 335\u2013345. IEEE Computer Society (2005)"},{"issue":"1","key":"149_CR34","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/stvr.396","volume":"19","author":"J. Huo","year":"2009","unstructured":"Huo J., Petrenko A.: Transition covering tests for systems with queues. Softw. Test. Verification Reliab. 19(1), 55\u201383 (2009)","journal-title":"Softw. Test. Verification Reliab."},{"key":"149_CR35","unstructured":"ISO\/IEC JTC 1, J.T.C.: International Standard ISO\/IEC 9646-1. Information Technology\u2014Open Systems Interconnection\u2014Conformance testing methodology and framework\u2014Part 1: General concepts. ISO\/IEC (1994)"},{"key":"149_CR36","unstructured":"Jacob, J.: Refinement of shared systems. In: McDermid J. (ed.) The Theory and Practice of Refinement: approaches to the Formal Development of Large-Scale Software Systems, pp. 27\u201336. Butterworths (1989)"},{"key":"149_CR37","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T., Kahlouche, H., Viho, C.: Towards automatic distribution of testers for distributed conformance testing. In: TC6 WG6.1 Joint International Conference on Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE\u201998, pp. 353\u2013368. Kluwer (1998)","DOI":"10.1007\/978-0-387-35394-4_22"},{"issue":"11","key":"149_CR38","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/TSE.2002.1049406","volume":"28","author":"A. Khoumsi","year":"2002","unstructured":"Khoumsi A.: A temporal approach for testing distributed systems. IEEE Trans. Softw. Eng. 28(11), 1085\u20131103 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"149_CR39","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee D., Yannakakis M.: Principles and methods of testing finite state machines: a survey. Proc. IEEE 84(8), 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"149_CR40","unstructured":"Luo, G., Dssouli, R., Bochmann, G.v.: Generating synchronizable test sequences based on finite state machine with distributed ports. In: 6th IFIP Workshop on Protocol Test Systems, IWPTS\u201993, pp. 139\u2013153. North-Holland (1993)"},{"issue":"6","key":"149_CR41","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/65.244791","volume":"7","author":"M. Mansorui-Samani","year":"1993","unstructured":"Mansorui-Samani M., Sloman M.: Monitoring distributed systems. IEEE Netw. 7(6), 20\u201330 (1993)","journal-title":"IEEE Netw."},{"issue":"2","key":"149_CR42","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1016\/j.comnet.2007.10.002","volume":"52","author":"M.G. Merayo","year":"2008","unstructured":"Merayo M.G., N\u00fa\u00f1ez M., Rodr\u00edguez I.: Formal testing from timed finite state machines. Comput. Netw. 52(2), 432\u2013460 (2008)","journal-title":"Comput. Netw."},{"key":"149_CR43","doi-asserted-by":"crossref","unstructured":"Petrenko, A.: Fault model-driven test derivation from finite state models: annotated bibliography. In: 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP\u201900, LNCS 2067, pp. 196\u2013205. Springer (2001)","DOI":"10.1007\/3-540-45510-8_10"},{"issue":"1","key":"149_CR44","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/TSE.2004.1265734","volume":"30","author":"A. Petrenko","year":"2004","unstructured":"Petrenko A., Boroday S., Groz R.: Confirming configurations in EFSM testing. IEEE Trans. Softw. Eng. 30(1), 29\u201342 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"9","key":"149_CR45","doi-asserted-by":"crossref","first-page":"1154","DOI":"10.1109\/TC.2005.152","volume":"54","author":"A. Petrenko","year":"2005","unstructured":"Petrenko A., Yevtushenko N.: Testing from partial deterministic FSM specifications. IEEE Trans. Comput. 54(9), 1154\u20131165 (2005)","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"149_CR46","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1021759127956","volume":"24","author":"O. Rafiq","year":"2003","unstructured":"Rafiq O., Cacciari L.: Coordination algorithm for distributed testing. J. Supercomput. 24(2), 203\u2013211 (2003)","journal-title":"J. Supercomput."},{"key":"149_CR47","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez, I.: A general testability theory. In: 20th International Conference on Concurrency Theory, CONCUR\u201909, LNCS 5710, pp. 572\u2013586. Springer (2009)","DOI":"10.1007\/978-3-642-04081-8_38"},{"issue":"2","key":"149_CR48","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.jlap.2007.03.002","volume":"74","author":"I. Rodr\u00edguez","year":"2008","unstructured":"Rodr\u00edguez I., Merayo M.G., N\u00fa\u00f1ez M.: $${\\mathcal H \\mathcal O \\mathcal T\\,\\mathcal L}$$ Hypotheses and observations testing logic. J. Log. Algebraic Program. 74(2), 57\u201393 (2008)","journal-title":"J. Log. Algebraic Program."},{"key":"149_CR49","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","volume":"32","author":"B. Sarikaya","year":"1984","unstructured":"Sarikaya B., Bochmann G.v.: Synchronization and specification issues in protocol testing. IEEE Trans. Commun. 32, 389\u2013395 (1984)","journal-title":"IEEE Trans. Commun."},{"issue":"12","key":"149_CR50","doi-asserted-by":"crossref","first-page":"1111","DOI":"10.1016\/S0169-7552(98)00013-0","volume":"30","author":"K.C. Tai","year":"1998","unstructured":"Tai K.C., Young Y.C.: Synchronizable test sequences of finite state machines. Comput. Netw. ISDN Syst. 30(12), 1111\u20131134 (1998)","journal-title":"Comput. Netw. ISDN Syst."},{"issue":"3","key":"149_CR51","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw. Concepts Tools"},{"issue":"3","key":"149_CR52","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0020-0190(03)00364-8","volume":"88","author":"H. Ural","year":"2003","unstructured":"Ural H., Whittier D.: Distributed testing without encountering controllability and observability problems. Inf. Process. Lett. 88(3), 133\u2013141 (2003)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"149_CR53","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/s00165-005-0083-8","volume":"18","author":"H. Ural","year":"2006","unstructured":"Ural H., Williams C.: Constructing checking sequences for distributed testing. Formal Aspects Comput. 18(1), 84\u2013101 (2006)","journal-title":"Formal Aspects Comput."},{"key":"149_CR54","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2007","unstructured":"Utting M., Legeard B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, Los Altos (2007)"},{"key":"149_CR55","doi-asserted-by":"crossref","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with spec explorer. In: Formal Methods and Testing, LNCS 4949, pp. 39\u201376. Springer (2008)","DOI":"10.1007\/978-3-540-78917-8_2"},{"issue":"13","key":"149_CR56","doi-asserted-by":"crossref","first-page":"1177","DOI":"10.1016\/S0140-3664(98)00178-9","volume":"21","author":"W.J. Wu","year":"1998","unstructured":"Wu W.J., Chen W.H., Tang C.: Synchronizable test sequence for multi-party protocol conformance testing. Comput. Commun. 21(13), 1177\u20131183 (1998)","journal-title":"Comput. Commun."},{"key":"149_CR57","unstructured":"Young, Y., Tai, K.: Observational inaccuracy in conformance testing with multiple testers. In: IEEE 1st Workshop on Application-specific Software Engineering and Technology, pp. 80\u201385. IEEE Computer Society (1998)"},{"key":"149_CR58","doi-asserted-by":"crossref","unstructured":"Zulkernine, M., Seviora, R.: A compositional approach to monitoring distributed systems. In: 3rd International Conference on Dependable Systems and Networks, DSN\u201902, pp. 763\u2013772. IEEE Computer Society (2002)","DOI":"10.1109\/DSN.2002.1029022"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-011-0149-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-011-0149-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-011-0149-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T14:46:57Z","timestamp":1741963617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-011-0149-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,24]]},"references-count":58,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["149"],"URL":"https:\/\/doi.org\/10.1007\/s00446-011-0149-1","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"type":"print","value":"0178-2770"},{"type":"electronic","value":"1432-0452"}],"subject":[],"published":{"date-parts":[[2011,11,24]]}}}