{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T07:11:02Z","timestamp":1723273862838},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2007,1,20]],"date-time":"2007-01-20T00:00:00Z","timestamp":1169251200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2007,1,29]]},"DOI":"10.1007\/s00236-006-0035-7","type":"journal-article","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T14:51:46Z","timestamp":1169218306000},"page":"451-476","source":"Crossref","is-referenced-by-count":136,"title":["Hybridization methods for the analysis of nonlinear systems"],"prefix":"10.1007","volume":"43","author":[{"given":"Eugene","family":"Asarin","sequence":"first","affiliation":[]},{"given":"Thao","family":"Dang","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,20]]},"reference":[{"issue":"1","key":"35_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J. and Yovine S. (1995). The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1): 3\u201334","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"35_CR2","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1016\/j.tcs.2005.11.026","volume":"354","author":"R. Alur","year":"2006","unstructured":"Alur R., Dang T. and Ivancic F. (2006). Counter-example guided predicate abstraction of hybrid systems. Theor. Comput. Sci. 354(2): 250\u2013271","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"35_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R. and Dill D.L. (1994). A theory of timed automata. Theor. Comput. Sci. 126(2): 183\u2013235","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"35_CR4","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur R., Henzinger T.A., Lafferriere G. and Pappas G. (2000). Discrete abstractions of hybrid systems. Proc. IEEE 88(2): 971\u2013984","journal-title":"Proc. IEEE"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Anai, H., Weispfenning, V.: Reach set computations using real quantifier elimination. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) Hybrid Systems: Computation and Control, vol. 2034 in LNCS, pp. 63\u201375. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45351-2_9"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Asarin, E., Bournez, O., Dang, T., Maler, O.: Approximate reachability analysis of piecewise-linear dynamical systems. In: Krogh, B.H., Lynch, N. (eds.) Hybrid Systems: Computation and Control, vol. 1790 in LNCS, pp. 20\u201331. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-46430-1_6"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Asarin, E., Dang, T., Maler, O.: d\/dt: A tool for verification of hybrid systems. In: Ed Brinksma, Kim Guldstrand Larsen (eds.) Computer Aided Verification, vol. 2404 in LNCS, pp. 365\u2013370. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45657-0_30"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Asarin, E., Dang, T.: Abstraction by projection and application to multi-affine systems. In: Alur, R., Pappas, G.J. (eds) Hybrid Systems: Control and Computation, vol. 2993 LNCS, pp. 32\u201347. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24743-2_3"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Asarin, E., Dang, T., Girard, A.: Reachability analysis of nonlinear systems using conservative approximations. In: Maler, O., Pnueli, A. (eds.) Hybrid Systems: Computation and Control, vol. 2623 in LNCS, pp. 20\u201335. Springer, Heidelberg (2003)","DOI":"10.1007\/3-540-36580-X_5"},{"issue":"1","key":"35_CR10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E. Asarin","year":"1995","unstructured":"Asarin E., Maler O. and Pnueli A. (1995). Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor. Comput. Sci. 138(1): 35\u201366","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"35_CR11","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/9.981719","volume":"47","author":"J.-P. Aubin","year":"2002","unstructured":"Aubin J.-P., Lygeros J., Quincampoix M., Sastry S. and Seube N. (2002). Impulse differential inclusions: a viability approach to hybrid systems. IEEE Trans. Autom. Control 47(1): 2\u201320","journal-title":"IEEE Trans. Autom. Control"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Barringer, H., Kuiper, R., Pnueli, A.: A really abstract concurrent model and its temporal logic. In: POPL\u201986: Principles of Programming Languages, pp. 173\u2013183 (1986)","DOI":"10.1145\/512644.512660"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Botchkarev, O., Tripakis, S.: Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In: Krogh B., Lynch N. (eds.), Hybrid Systems: Computation and Control, vol. 1790 in LNCS, pp. 73\u201388. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-46430-1_10"},{"issue":"1","key":"35_CR14","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/9.654885","volume":"43","author":"M.S. Branicky","year":"1998","unstructured":"Branicky M.S., Borkar V.S. and Mitter S.K. (1998). A unified framework for hybrid control: model and optimal control theory. IEEE Trans. on Automatic Control 43(1): 31\u201345","journal-title":"IEEE Trans. on Automatic Control"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Chutinan, A., Krogh, B.H.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) Hybrid systems: Computation and Control, vol. 1569 in LNCS, pp. 76\u201390. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48983-5_10"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Clarke, E., Fehnker, A., Han, Z., Krogh, B., Ouaknine, J., Stursberg, O., Theobald, M.: Abstraction and counterexample-guided refinement in model checking of hybrid systems. Int. J. Foundations of Comput. Sci. 14(4), 583\u2013604 (2003)","DOI":"10.1142\/S012905410300190X"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Dang, T.: Approximate reachability computation for polynomial systems. In: Hespanha, J., Tiwari, A. (eds.) Hybrid Systems: Control and Computation, vol. 3927 in LNCS, pp. 138\u2013152. Springer, Heidelberg (2006)","DOI":"10.1007\/11730637_13"},{"key":"35_CR18","doi-asserted-by":"crossref","unstructured":"Dang, T., Donze, A., Maler, O.: Verification of analog and mixed-signal circuits using hybrid systems techniques. In: Hu, A., Martin, A. (eds.) Formal Methods for Computer Aided Design, vol. 3312 in LNCS, pp. 21\u201336. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30494-4_3"},{"key":"35_CR19","doi-asserted-by":"crossref","unstructured":"Dang, T., Maler, O.: Reachability Analysis via Face Lifting. In: Henzinger, T.A., Sastry, S. (eds.), Hybrid Systems: Computation and Control, vol. 1386 in LNCS, pp. 96\u2013109. Springer, Heidelberg (1998)","DOI":"10.1007\/3-540-64358-3_34"},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"Davoren, J.M., Coulthard, V., Markey, N., Moor, T.: Non-deterministic temporal logics for general flow systems. In: Alur, R., G.J. Pappas, G.J. (eds.) Hybrid Systems: Computation and Control HSCC04, vol. 2993 in LNCS, pp. 280\u2013295. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24743-2_19"},{"issue":"7","key":"35_CR21","doi-asserted-by":"crossref","first-page":"1069","DOI":"10.1109\/5.871309","volume":"88","author":"R.A. Decarlo","year":"2000","unstructured":"Decarlo R.A., Branicky M.S., Pettersson S. and Lennartson B. (2000). Perspectives and results on the stability and stabilizability of hybrid systems. Proc. the IEEE 88(7): 1069\u20131082","journal-title":"Proc. the IEEE"},{"key":"35_CR22","doi-asserted-by":"crossref","unstructured":"Della Dora, J., Maignan, A., Mirica-Ruse, M., Yovine, S.: Hybrid computation. In: Proceedings International Symposium on Symbolic and Algebraic Computation ISSAC\u201901 (2001)","DOI":"10.1145\/384101.384116"},{"key":"35_CR23","volume-title":"Calcul Infinit\u00e9simal","author":"J. Dieudonn\u00e9","year":"1968","unstructured":"Dieudonn\u00e9 J. (1968). Calcul Infinit\u00e9simal. Collection M\u00e9thodes. Hermann, Paris"},{"key":"35_CR24","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 995\u20131072. Elsevier, Amsterdam (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"35_CR25","doi-asserted-by":"crossref","unstructured":"Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) Hybrid Systems: Computation and Control, vol. 3414 in LNCS, pp. 258\u2013273. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"35_CR26","unstructured":"Girard, A.: Approximate solutions of ODEs using piecewise linear vector fields. In: Proceedings of the Int. Workshop on Computer Algebra in Scientific Computing CASC\u201902 (2002)"},{"key":"35_CR27","doi-asserted-by":"crossref","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) Hybrid Systems: Computation and Control, vol. 3414 in LNCS, pp. 291\u2013305. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"35_CR28","doi-asserted-by":"crossref","unstructured":"Greenstreet, M.R., Mitchell, I.: Reachability analysis using polygonal projections. In: Vaandrager, F., van Schuppen, J.H. (eds.) Hybrid Systems: Computation and Control, vol. 1569 in LNCS, pp. 76\u201390. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48983-5_12"},{"key":"35_CR29","doi-asserted-by":"crossref","unstructured":"Habets, L.C.G.J.M., van Schuppen, J.H.: Control of piecewise-linear hybrid systems on simplices and rectangles. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) Hybrid systems: Computation and Control, vol.. 2034 LNCS, pp. 261\u2013273. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45351-2_23"},{"key":"35_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4442-4","volume-title":"Numerical Mathematics","author":"G. H\u00e4mmerlin","year":"1991","unstructured":"H\u00e4mmerlin G. and Karl-Heinz Hoffmann K.-H. (1991). Numerical Mathematics. Springer, Heidelberg"},{"key":"35_CR31","doi-asserted-by":"crossref","unstructured":"Hartong, W., Hedrich, L., Barke, E.: On discrete modelling and model checking for nonlinear analog systems. In: Ed Brinksma, Kim Guldstrand Larsen (eds.) Computer Aided Verification, vol. 2404 in LNCS, pp. 401\u2013413. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45657-0_33"},{"issue":"1\u20132","key":"35_CR32","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger T.A., Ho P.-H. and Wong-Toi H. (1997). HyTech: A model checker for hybrid systems. Softw. Tools Technol. Transf. 1(1\u20132): 110\u2013122","journal-title":"Softw. Tools Technol. Transf."},{"issue":"1","key":"35_CR33","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger T.A., Kopke P.W., Puri A. and Varaiya P. (1998). What\u2019s decidable about hybrid automata? J. Comput. Syst. Sci. 57(1): 94\u2013124","journal-title":"Comput. Syst. Sci."},{"key":"35_CR34","doi-asserted-by":"crossref","unstructured":"Hubbard, J., West, B.: Differential equations: a dynamical system approach, part 2: higher dimensional systems. Texts in Applied Mathematics, 18 Springer, Heidelberg (1995)","DOI":"10.1007\/978-1-4612-4192-8_2"},{"issue":"4","key":"35_CR35","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1109\/9.664157","volume":"43","author":"M. Johansson","year":"1998","unstructured":"Johansson M. and Rantzer A. (1998). Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Trans. Autom. Control 43(4): 555\u2013559","journal-title":"IEEE Trans. Autom. Control"},{"key":"35_CR36","doi-asserted-by":"crossref","unstructured":"Kloetzer, M., Belta, C.: Reachability analysis of multi-affine systems. In: Hespanha, J., Tiwari, A. (eds.) Hybrid Systems: Computation and Control, vol. 3927 in LNCS, pp. 348\u2013362. Springer, Heidelberg (2006)","DOI":"10.1007\/11730637_27"},{"key":"35_CR37","doi-asserted-by":"crossref","unstructured":"Kratz, F., Sokolsky, O., Pappas, G.J., Lee, I.: R-Charon : a modeling language for reconfigurable hybrid systems. In: Hespanha, J., Tiwari, A. (eds.) Hybrid Systems: Computation and Control, vol. 3927 in LNCS, pp. 392\u2013406. Springer, Heidelberg (2006)","DOI":"10.1007\/11730637_30"},{"issue":"5","key":"35_CR38","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1147\/rd.45.0518","volume":"4","author":"H.W. Kuhn","year":"1960","unstructured":"Kuhn H.W. (1960). Some combinatorial lemmas in topology. IBM J. Res. Dev. 4(5): 518\u2013524","journal-title":"IBM J. Res. Dev."},{"key":"35_CR39","doi-asserted-by":"crossref","unstructured":"Kurzhanski, A., Varaiya, P.: Ellipsoidal techniques for reachability analysis. In: Krogh, B., Lynch, N. (eds.) Hybrid Systems: Computation and Control, vol. 1790 in LNCS, pp. 202\u2013214. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-46430-1_19"},{"issue":"3","key":"35_CR40","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1006\/jsco.2001.0472","volume":"32","author":"G. Lafferriere","year":"2001","unstructured":"Lafferriere G., Pappas G. and Yovine S. (2001). Symbolic reachability computation of families of linear vector fields. J. Symbolic Comput. 32(3): 231\u2013253","journal-title":"J. Symbolic Comput."},{"issue":"1\u20132","key":"35_CR41","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. Larsen","year":"1997","unstructured":"Larsen K., Pettersson P. and Yi W. (1997). Uppaal in a nutshell. Soft. Tools Technol. Transf. 1(1\u20132): 134\u2013152","journal-title":"Soft. Tools Technol. Transf."},{"key":"35_CR42","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in systems and control","author":"D. Liberzon","year":"2003","unstructured":"Liberzon D. (2003). Switching in systems and control. Volume in series Systems and Control: Foundations and Applications. Birkhauser, Boston"},{"key":"35_CR43","volume-title":"The temporal logic of reactive and concurrent systems: specification","author":"Z. Manna","year":"1991","unstructured":"Manna Z. and Pnueli A. (1991). The temporal logic of reactive and concurrent systems: specification. Springer, New York"},{"key":"35_CR44","doi-asserted-by":"crossref","unstructured":"Mitchell, I., Templeton, J.A.: A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid Systems. In: Morari, M., Thiele, L. (eds.) Hybrid Systems: Computation and Control, vol. 3414 in LNCS, pp. 480\u2013494. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31954-2_31"},{"key":"35_CR45","doi-asserted-by":"crossref","unstructured":"Kvasnica, M., Grieder, P., Baoti, M., Morari, M.: Multi-Parametric Toolbox (MPT). In: Alur, R., Pappas, G.J. (eds.) Hybrid Systems: Computation and Control, vol. 2993 in LNCS, pp. 448\u2013462. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24743-2_30"},{"key":"35_CR46","doi-asserted-by":"crossref","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, A., Pappas, G. (eds.) Hybrid Systems: Computation and Control, vol. 2993 LNCS, pp. 477\u2013492. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"35_CR47","unstructured":"Prajna, S., Papachristodoulou, A.: Analysis of switched and hybrid systems - beyond piecewise quadratic methods. In: Proceedings of the American Control Conference ACC (2003)"},{"key":"35_CR48","doi-asserted-by":"crossref","unstructured":"Puri, A., Varaiya, P.: Verification of sybrid systems using abstraction. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.) Hybrid Systems II, vol. 999 in LNCS, pp. 359\u2013369, Springer, Heidelberg (1995)","DOI":"10.1007\/3-540-60472-3_18"},{"key":"35_CR49","unstructured":"Rondepierre, A., Dumas, J.G.: Algorithms for hybrid optimal control. Technical report IMAG-ccsd-00004191, arXiv math.OC\/0502172 (2005)"},{"key":"35_CR50","doi-asserted-by":"crossref","unstructured":"Saint-Pierre, P.: Approximation of Viability Kernels and Capture Basin for Hybrid Systems. In: Proceedings of European Control Conference ECC\u201901, pp. 2776\u20132783 (2001)","DOI":"10.23919\/ECC.2001.7076351"},{"key":"35_CR51","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3108-8","volume-title":"Nonlinear systems: analysis, stability and control","author":"S. Sastry","year":"1999","unstructured":"Sastry S. (1999). Nonlinear systems: analysis, stability and control. Springer, Heidelberg"},{"key":"35_CR52","volume-title":"Dynamical systems and numerical analysis","author":"A.M. Stuart","year":"1996","unstructured":"Stuart A.M. and Humphries A.R. (1996). Dynamical systems and numerical analysis. Cambridge Monographs on Applied and Computational Mathematics. Cambridge University Press, Cambridge"},{"key":"35_CR53","doi-asserted-by":"crossref","unstructured":"Stursberg, O., Kowalewski, S.: Approximating switched continuous systems by rectangular automata. In: Proceedings European Control Conference ECC, (1999)","DOI":"10.23919\/ECC.1999.7099845"},{"key":"35_CR54","doi-asserted-by":"crossref","unstructured":"Tabuada, P., Pappas, G.: Model-checking LTL over controllable linear systems is decidable, In: Maler, O., Pnueli, A. (eds.) Hybrid Systems: Computation and Control, vol. 2623 LNCS, pp. 498\u2013513, Springer, Heidelberg (2003)","DOI":"10.1007\/3-540-36580-X_36"},{"key":"35_CR55","doi-asserted-by":"crossref","unstructured":"Tiwari, A., Khanna, G.: Series of abstractions for hybrid automata. In: Tomlin, C., Greenstreet, M.R. (eds.) Hybrid Systems: Computation and Control, vol. 2289 LNCS, pp. 465\u2013478, (2002)","DOI":"10.1007\/3-540-45873-5_36"},{"key":"35_CR56","doi-asserted-by":"crossref","unstructured":"Tiwari, A., Khanna, A.: Nonlinear systems: approximating reach sets. In: Alur, R., Pappas, G.J. (eds.) Hybrid Systems: Computation and Control, vol. 2993 LNCS, pp. 600\u2013614. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24743-2_40"},{"issue":"7","key":"35_CR57","doi-asserted-by":"crossref","first-page":"986","DOI":"10.1109\/JPROC.2003.814621","volume":"91","author":"C. Tomlin","year":"2003","unstructured":"Tomlin C., Mitchell I., Bayen A. and Oishi M. (2003). Computational techniques for the verification of hybrid systems. Proc. IEEE 91(7): 986\u20131001","journal-title":"Proc. IEEE"},{"issue":"2","key":"35_CR58","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1109\/TCST.2004.824309","volume":"12","author":"F.D. Torrisi","year":"2004","unstructured":"Torrisi F.D. and Bemporad A. (2004). HYSDEL - A tool for generating computational hybrid models. IEEE Trans. Control Syst. Technol. 12(2): 235\u2013249","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"35_CR59","unstructured":"Van der Schaft, A.J., Schumacher, J.M.: An introduction to hybrid dynamical systems. Lect. Notes in Control and Information Sciences, Vol 251. Springer, London, (2000)"},{"key":"35_CR60","doi-asserted-by":"crossref","unstructured":"Yovine, S.: Kronos: A verification tool for real-time systems. Soft. Tools Technol. Trans. 1(1\u20132), 123\u2013133 (1997)","DOI":"10.1007\/s100090050009"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0035-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-006-0035-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0035-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:41:54Z","timestamp":1558705314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-006-0035-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,20]]},"references-count":60,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2007,1,29]]}},"alternative-id":["35"],"URL":"https:\/\/doi.org\/10.1007\/s00236-006-0035-7","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,20]]}}}