{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T19:33:21Z","timestamp":1725824001450},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662476659"},{"type":"electronic","value":"9783662476666"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-47666-6_7","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T07:46:47Z","timestamp":1434700007000},"page":"82-94","source":"Crossref","is-referenced-by-count":3,"title":["Analysis of Probabilistic Systems via Generating Functions and Pad\u00e9 Approximation"],"prefix":"10.1007","author":[{"given":"Michele","family":"Boreale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Antoulas, A.C.: Approximation of Large-scale Dynamical Systems. SIAM (2005)","key":"7_CR1","DOI":"10.1137\/1.9780898718713"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1090\/qam\/42792","volume":"9","author":"WE Arnoldi","year":"1951","unstructured":"Arnoldi, W.E.: The principle of minimized iterations in the solution of the matrix eigenvalue problem. Quarterly of Applied Mathematics 9, 17\u201329 (1951)","journal-title":"Quarterly of Applied Mathematics"},{"unstructured":"Baker Jr., G.: Essentials of Pad\u00e9 Approximants. Academic Press (1975)","key":"7_CR3"},{"unstructured":"Boreale, M.: Full version of the present paper, Matlab and Prism code. \n                      http:\/\/rap.dsi.unifi.it\/~boreale\/papers\/GFviaKrylov.rar","key":"7_CR4"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0024-3795(97)00333-9","volume":"272","author":"DJ Hartfiel","year":"1998","unstructured":"Hartfiel, D.J., Meyer, C.D.: On the structure of stochastic matrices with a subdominant eigenvalue near 1. Linear Algebra Appl. 272, 193\u2013203 (1998)","journal-title":"Linear Algebra Appl."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1287\/opre.40.6.1156","volume":"40","author":"B Philippe","year":"1996","unstructured":"Philippe, B., Saad, Y., Stewart, W.J.: Numerical Methods in Markov Chain Modelling. Operations Research 40, 1156\u20131179 (1996)","journal-title":"Operations Research"},{"doi-asserted-by":"crossref","unstructured":"Saad, Y.: Iterative methods for sparse linear systems. SIAM (2003)","key":"7_CR8","DOI":"10.1137\/1.9780898718003"},{"unstructured":"Wilf, H.S.: Generatingfunctionology, 2\/e. Academic Press (1994)","key":"7_CR9"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-47666-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:42:50Z","timestamp":1559198570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-47666-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662476659","9783662476666"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-47666-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}