{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:55:35Z","timestamp":1725846935436},"publisher-location":"Cham","reference-count":54,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319280066"},{"type":"electronic","value":"9783319280073"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-28007-3_19","type":"book-chapter","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T05:43:43Z","timestamp":1452145423000},"page":"287-315","source":"Crossref","is-referenced-by-count":1,"title":["A Hybrid Approach to the Verification of Computer Interpretable Guidelines"],"prefix":"10.1007","author":[{"given":"Luca","family":"Anselma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Bottrighi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Giordano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arjen","family":"Hommersom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianpaolo","family":"Molino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Montani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Terenziani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Torchio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"issue":"5","key":"19_CR1","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/S0895-4356(97)00306-5","volume":"51","author":"M Akker van den","year":"1998","unstructured":"van den Akker, M., et al.: Multimorbidity in general practice: prevalence, incidence, and determinants of co-occurring chronic and recurrent diseases. J. Clin. Epidemiol. 51(5), 367\u2013375 (1998)","journal-title":"J. Clin. Epidemiol."},{"issue":"11","key":"19_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"issue":"2","key":"19_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0933-3657(98)00048-7","volume":"15","author":"S Andreassen","year":"1999","unstructured":"Andreassen, S., et al.: Using probabilistic and decision-theoretic methods in treatment and prognosis modeling. Artif. Intell. Med. 15(2), 121\u2013134 (1999)","journal-title":"Artif. Intell. Med."},{"issue":"2","key":"19_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.artmed.2006.03.007","volume":"38","author":"L Anselma","year":"2006","unstructured":"Anselma, L., et al.: Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines. Artif. Intell. Med. 38(2), 171\u2013195 (2006)","journal-title":"Artif. Intell. Med."},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11691617_13","volume-title":"Model Checking Software","author":"S B\u00e4umler","year":"2006","unstructured":"B\u00e4umler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of medical guidelines by model checking \u2013 a case study. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 219\u2013233. Springer, Heidelberg (2006)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Bettini, C., De Sibi, R.: Symbolic representation of user-defined time granularities. In: Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning, TIME 1999, pp. 17\u201328 (1999)","DOI":"10.1109\/TIME.1999.777968"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artmed.2009.09.003","volume":"48","author":"A Bottrighi","year":"2010","unstructured":"Bottrighi, A., et al.: Adopting model checking techniques for clinical guidelines verification. Artif. Intell. Med. 48(1), 1\u201319 (2010)","journal-title":"Artif. Intell. Med."},{"key":"19_CR8","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1), 61\u201395 (1991)","journal-title":"Artif. Intell."},{"issue":"2","key":"19_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/S0933-3657(02)00011-8","volume":"25","author":"G Duftschmid","year":"2002","unstructured":"Duftschmid, G., Miksch, S., Gall, W.: Verification of temporal scheduling constraints in clinical practice guidelines. Artif. Intell. Med. 25(2), 93\u2013121 (2002)","journal-title":"Artif. Intell. Med."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Egidi, L., Terenziani, P.: A lattice of classes of user-defined symbolic periodicities. In: Proceedings of the 11th International Symposium on Temporal Representation and Reasoning, TIME 2004, pp. 13\u201320 (2004)","DOI":"10.1109\/TIME.2004.1314414"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Egidi, L., Terenziani, P.: A mathematical framework for the semantics of symbolic languages representing periodic time. In: Proceedings of the 11th International Symposium on Temporal Representation and Reasoning, TIME 2004, pp. 21\u201327 (2004)","DOI":"10.1109\/TIME.2004.1314415"},{"key":"19_CR13","unstructured":"Field, M.J., Lohr, K.N.: Guidelines for Clinical Practice: From Development to Use. National Academies Press, Washington, DC (1992)"},{"issue":"1","key":"19_CR14","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0933-3657(98)00021-9","volume":"14","author":"J Fox","year":"1998","unstructured":"Fox, J., Johns, N., Rahmanzadeh, A.: Disseminating medical knowledge: the PROforma approach. Artif. Intell. Med. 14(1), 157\u2013182 (1998)","journal-title":"Artif. Intell. Med."},{"issue":"6","key":"19_CR15","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1016\/S0002-9343(97)00254-4","volume":"103","author":"AJ Garber","year":"1997","unstructured":"Garber, A.J., et al.: Efficacy of metformin in type II diabetes: results of a double-blind, placebo-controlled, dose-response trial. Am. J. Med. 103(6), 491\u2013507 (1997)","journal-title":"Am. J. Med."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Getoor, L., Taskar, B. (eds.): Introduction to Statistical Relational Learning. Adaptive Computation and Machine Learning. MIT Press, Cambridge (2007)","DOI":"10.7551\/mitpress\/7432.001.0001"},{"key":"19_CR17","unstructured":"Giordano, L., et al.: Model checking for clinical guidelines: an agent-based approach. In: AMIA Annual Symposium Proceedings, vol. 2006, p. 289. American Medical Informatics Association (2006)"},{"key":"19_CR18","unstructured":"Giordano, L., et al.: A temporal approach to the specification and verification of interaction protocols. In: WOA, pp. 171\u2013176 (2005)"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"e6341","DOI":"10.1136\/bmj.e6341","volume":"345","author":"B Guthrie","year":"2012","unstructured":"Guthrie, B., et al.: Adapting clinical guidelines to take account of multimorbidity. BMJ 345, e6341 (2012)","journal-title":"BMJ"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Vardi, M.Y.: Model checking vs. theorem proving: a manifesto. In: Artificial Intelligence and Mathematical Theory of Computation, vol. 212, pp. 151\u2013176. Academic Press, Inc. (1991)","DOI":"10.1016\/B978-0-12-450010-5.50015-3"},{"issue":"5","key":"19_CR21","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker spin. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"19_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/978-3-642-04180-8_53","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"A Hommersom","year":"2009","unstructured":"Hommersom, A., Ferreira, N., Lucas, P.J.F.: Integrating logical reasoning and probabilistic chain graphs. In: Buntine, W., Grobelnik, M., Mladeni\u0107, D., Shawe-Taylor, J. (eds.) ECML PKDD 2009, Part I. LNCS (LNAI), vol. 5781, pp. 548\u2013563. Springer, Heidelberg (2009)"},{"issue":"1","key":"19_CR23","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1093\/ageing\/afs100","volume":"42","author":"LD Huges","year":"2013","unstructured":"Huges, L.D., McMurdo, M.E.T., Guthrie, B.: Guidelines for people not for diseases: the challenges of applying UK clinical guidelines to people with multimorbidity. Age Ageing 42(1), 62\u201369 (2013)","journal-title":"Age Ageing"},{"key":"19_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-44797-0_10","volume-title":"Inductive Logic Programming","author":"K Kersting","year":"2001","unstructured":"Kersting, K., De Raedt, L.: Towards combining inductive logic programming with Bayesian networks. In: Rouveirol, C., Sebag, M. (eds.) ILP 2001. LNCS (LNAI), vol. 2157, pp. 118\u2013131. Springer, Heidelberg (2001)"},{"key":"19_CR25","unstructured":"Kimmig, A., et al.: On the implementation of the probabilistic logic programming language problog. Theory Pract. Logic Program. (2010)"},{"issue":"1","key":"19_CR26","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S1386-5056(02)00072-2","volume":"68","author":"R Kosara","year":"2002","unstructured":"Kosara, R., Miksch, S.: Visualization methods for data analysis and planning in medical applications. Int. J. Med. Inform. 68(1), 141\u2013153 (2002)","journal-title":"Int. J. Med. Inform."},{"key":"19_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"19_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"John Wylie Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)"},{"issue":"3","key":"19_CR29","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0933-3657(00)00048-8","volume":"19","author":"PJF Lucas","year":"2000","unstructured":"Lucas, P.J.F., et al.: A probabilistic and decision-theoretic approach to the management of infectious disease at the ICU. Artif. Intell. Med. 19(3), 251\u2013279 (2000)","journal-title":"Artif. Intell. Med."},{"key":"19_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-39907-0_19","volume-title":"Artificial Intelligence in Medicine","author":"M Marcos","year":"2003","unstructured":"Marcos, M., Balser, M., ten Teije, A., van Harmelen, F., Duelli, C.: Experiences in the formalisation and verification of medical protocols. In: Dojat, M., Keravnou, E.T., Barahona, P. (eds.) AIME 2003. LNCS (LNAI), vol. 2780, pp. 132\u2013141. Springer, Heidelberg (2003)"},{"key":"19_CR31","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-1-4615-3190-6_3","volume-title":"Symbolic Model Checking","author":"Kenneth L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Springer, Heidelberg (1993)"},{"issue":"291","key":"19_CR32","first-page":"296","volume":"74","author":"MA Musen","year":"1987","unstructured":"Musen, M.A., et al.: Knowledge engineering for a clinical trial advice system: uncovering errors in protocol specification. Bull. du Cancer 74(291), 296 (1987)","journal-title":"Bull. du Cancer"},{"issue":"6","key":"19_CR33","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1136\/jamia.1996.97084511","volume":"3","author":"MA Musen","year":"1996","unstructured":"Musen, M.A., et al.: EON: a component-based approach to automation of protocol-directed therapy. J. Am. Med. Inform. Assoc. 3(6), 367\u2013388 (1996)","journal-title":"J. Am. Med. Inform. Assoc."},{"key":"19_CR34","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-85928-4_17","volume-title":"Inductive Logic Programming","author":"S Natarajan","year":"2008","unstructured":"Natarajan, S., Bui, H.H., Tadepalli, P., Kersting, K., Wong, W.-K.: Logical hierarchical hidden markov models for modeling user activities. In: \u017delezn\u00fd, F., Lavra\u010d, N. (eds.) ILP 2008. LNCS (LNAI), vol. 5194, pp. 192\u2013209. Springer, Heidelberg (2008)"},{"issue":"5","key":"19_CR35","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1136\/jamia.1997.0040364","volume":"4","author":"JM Overhage","year":"1997","unstructured":"Overhage, J.M., et al.: A randomized trial of corollary orders to prevent errors of omission. J. Am. Med. Inform. Assoc. 4(5), 364\u2013375 (1997)","journal-title":"J. Am. Med. Inform. Assoc."},{"key":"19_CR36","doi-asserted-by":"publisher","first-page":"1238","DOI":"10.1093\/jac\/dkl372","volume":"58","author":"M Paul","year":"2006","unstructured":"Paul, M., et al.: Improving empirical antibiotic treatment using treat, a computerized decision support system: cluster randomized trial. J. Antimicrob. Chemother. 58, 1238\u20131245 (2006)","journal-title":"J. Antimicrob. Chemother."},{"key":"19_CR37","unstructured":"Peleg, M., et al.: GLIF3: the evolution of a guideline representation format. In: Proceedings of the AMIA Symposium, p. 645. American Medical Informatics Association (2000)"},{"key":"19_CR38","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-540-78652-8_8","volume-title":"Probabilistic Inductive Logic Programming: Theory and Applications","author":"D Poole","year":"2008","unstructured":"Poole, D.: The independent choice logic and beyond. In: de Raedt, L., Frasconi, P., Kersting, K., Muggleton, S.H. (eds.) Probabilistic ILP 2007. LNCS (LNAI), vol. 4911, pp. 222\u2013243. Springer, Heidelberg (2008)"},{"issue":"1\u20132","key":"19_CR39","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1\u20132), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"19_CR40","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Mach. Learn. 62(1\u20132), 107\u2013136 (2006)","journal-title":"Mach. Learn."},{"key":"19_CR41","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-38326-7_1","volume-title":"Artificial Intelligence in Medicine","author":"L Sacchi","year":"2013","unstructured":"Sacchi, L., Rognoni, C., Rubrichi, S., Panzarasa, S., Quaglini, S.: From decision to shared-decision: introducing patients\u2019 preferences in clinical decision analysis - a case study in thromboembolic risk prevention. In: Peek, N., Mar\u00edn Morales, R., Peleg, M. (eds.) AIME 2013. LNCS (LNAI), vol. 7885, pp. 1\u201310. Springer, Heidelberg (2013)"},{"issue":"1","key":"19_CR42","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0004-3702(96)00025-2","volume":"90","author":"Y Shahar","year":"1997","unstructured":"Shahar, Y.: A framework for knowledge-based temporal abstraction. Artif. Intell. 90(1), 79\u2013133 (1997)","journal-title":"Artif. Intell."},{"key":"19_CR43","unstructured":"Sherman, E.H., et al.: Using intermediate states to improve the ability of the arden syntax to implement care plans and reuse knowledge. In: Proceedings of the Annual Symposium on Computer Application in Medical Care, p. 238. American Medical Informatics Association (1995)"},{"key":"19_CR44","doi-asserted-by":"publisher","first-page":"1422","DOI":"10.1172\/JCI30558","volume":"117","author":"Y Shu","year":"2007","unstructured":"Shu, Y., et al.: Effect of genetic variation in the organic cation transporter 1 (OCT1) on metformin action. J. Clin. Invest. 117, 1422\u20131431 (2007)","journal-title":"J. Clin. Invest."},{"issue":"3","key":"19_CR45","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","volume":"36","author":"A Teije Ten","year":"2006","unstructured":"Ten Teije, A., et al.: Improving medical protocols by formal methods. Artif. Intell. Med. 36(3), 193\u2013209 (2006)","journal-title":"Artif. Intell. Med."},{"issue":"3","key":"19_CR46","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S0933-3657(01)00087-2","volume":"23","author":"P Terenziani","year":"2001","unstructured":"Terenziani, P., Molino, G., Torchio, M.: A modular approach for representing and executing clinical guidelines. Artif. Intell. Med. 23(3), 249\u2013276 (2001)","journal-title":"Artif. Intell. Med."},{"key":"19_CR47","unstructured":"Terenziani, P., et al.: Spin model checking for the verification of clinical guidelines. In: ECAI 2006 Workshop on AI Techniques in Healthcare: Evidence-Based Guidelines and Protocols (2006)"},{"key":"19_CR48","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/978-3-540-87481-2_33","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"I Thon","year":"2008","unstructured":"Thon, I., Landwehr, N., De Raedt, L.: A simple model for sequences of relational state descriptions. In: Daelemans, W., Goethals, B., Morik, K. (eds.) ECML PKDD 2008, Part II. LNCS (LNAI), vol. 5212, pp. 506\u2013521. Springer, Heidelberg (2008)"},{"key":"19_CR49","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1088\/0031-9155\/54\/5\/003","volume":"54","author":"M Velikova","year":"2009","unstructured":"Velikova, M., et al.: Improved mammographic cad performance using multi-view information: a Bayesian network framework. Phys. Med. Biol. 54, 1131\u20131147 (2009)","journal-title":"Phys. Med. Biol."},{"key":"19_CR50","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S1471068409003767","volume":"9","author":"J Vennekens","year":"2009","unstructured":"Vennekens, J., Denecker, M., Bruynooghe, M.: CP-logic: a language of causal probabilistic events and its relation to logic programming. Theory Pract. Logic Program. 9, 245\u2013308 (2009)","journal-title":"Theory Pract. Logic Program."},{"issue":"1","key":"19_CR51","doi-asserted-by":"crossref","first-page":"4","DOI":"10.3233\/AIC-1994-7102","volume":"7","author":"L Vila","year":"1994","unstructured":"Vila, L.: A survey on temporal reasoning in artificial intelligence. AI Commun. 7(1), 4\u201328 (1994)","journal-title":"AI Commun."},{"issue":"6","key":"19_CR52","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1016\/j.jclinepi.2011.10.007","volume":"65","author":"T Weijden van der","year":"2012","unstructured":"van der Weijden, T., et al.: Clinical Practice Guidelines And Patient Decision Aids. An Inevitable Relationship. J. Clin. Epidemiol. 65(6), 584\u2013589 (2012)","journal-title":"J. Clin. Epidemiol."},{"key":"19_CR53","unstructured":"Weng, C., Kahn, M., Gennari, J.: Temporal knowledge representation for scheduling tasks in clinical trial protocols. In: Proceedings of the AMIA Symposium, p. 879. American Medical Informatics Association (2002)"},{"issue":"1","key":"19_CR54","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.artmed.2006.12.007","volume":"40","author":"A Zalounina","year":"2007","unstructured":"Zalounina, A., et al.: A stochastic model of susceptibility to antibiotic therapy-the effects of cross-resistance and treatment history. Artif. Intell. Med. 40(1), 57\u201363 (2007)","journal-title":"Artif. Intell. Med."}],"container-title":["Lecture Notes in Computer Science","Foundations of Biomedical Knowledge Representation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28007-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T17:34:33Z","timestamp":1600018473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28007-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319280066","9783319280073"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28007-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}