{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T23:59:14Z","timestamp":1768003154552,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540425564","type":"print"},{"value":"9783540448044","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44804-7_4","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T18:22:41Z","timestamp":1184955761000},"page":"57-70","source":"Crossref","is-referenced-by-count":27,"title":["Beyond Memoryless Distributions: Model Checking Semi-Markov Chains"],"prefix":"10.1007","author":[{"given":"Gabriel G. Infante","family":"L\u00f3pez","sequence":"first","affiliation":[]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis and D. Dill. Model-checking in dense real-time. Inf. and Comp., 104: 2\u201334, 1993.","journal-title":"Inf. and Comp."},{"key":"4_CR2","first-page":"420","volume":"23","author":"S. Asmussen","year":"1996","unstructured":"S. Asmussen, O. Nermand and M. Olsson. Fitting phase-type distributions via the EM algorithm. Scand. J. Statist., 23: 420\u2013441, 1996.","journal-title":"Scand. J. Statist."},{"key":"4_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer-Aided Verification","author":"A. Aziz","year":"1996","unstructured":"A. Aziz, K. Sanwal, V. Singhal and R. Brayton. Verifying continuous time Markov chains. In R. Alur and T.A. Henzinger (eds), Computer-Aided Verification, LNCS 1102, pp. 269\u2013276, Springer, 1996."},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"A. Aziz, K. Sanwal, V. Singhal and R. Brayton. Model checking continuous time Markov chains. ACM Trans. on Computational Logic, 1(1): 162\u2013170, 2000.","journal-title":"ACM Trans. on Computational Logic"},{"key":"4_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48320-9_12","volume-title":"Concurrency Theory","author":"C. Baier","year":"1999","unstructured":"C. Baier, J.-P. Katoen and H. Hermanns. Approximate symbolic model checking of continuous-time Markov chains. In J.C.M. Baeten and S. Mauw (eds), Concurrency Theory, LNCS 1664, pp. 146\u2013162, Springer, 1999."},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C. Baier","year":"2000","unstructured":"C. Baier, B. R. Haverkort, H. Hermanns and J.-P. Katoen. Model checking continuous-time Markov chains by transient analysis. In E.A Emerson and A.P. Sistla (eds), Computer Aided Verification, LNCS 1855, pp. 358\u2013372, Springer, 2000."},{"key":"4_CR7","unstructured":"H. Brunner and P. van der Houwen, The Numerical Solution of Volterra Equations. North Holland, 1986."},{"key":"4_CR8","unstructured":"E. Cinlar. Introduction to Stochastic Processes. Prentice-Hall Inc., 1975."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"E. Clarke, E. Emerson and A. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8: 244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR10","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Computer Performance Evaluation","author":"M.E. Crovella","year":"2000","unstructured":"M.E. Crovella. Performance evaluation with heavy tailed distributions (extended abstract). In B. Haverkort, H. Bohnenkamp and C. Smith (eds), Computer Performance Evaluation, LNCS 1786, pp. 1\u20139, Springer, 2000."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"P.R. D\u2019Argenio, J.-P. Katoen and E. Brinksma. An algebraic approach to the specification of stochastic systems (extended abstract). In D. Gries and W.-P. de Roever (eds), Programming Concepts and Methods. Chapman & Hall, pp. 126\u2013147, 1998.","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"4_CR12","unstructured":"L. de Alfaro. Formal Verification of Probabilistic Systems. PhD thesis, Stanford University, 1997."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/49.481699","volume":"14","author":"A. F. Ates","year":"1996","unstructured":"A. Feyzi Ates, M. Bilgic, S. Saito, and B. Sarikaya. Using timed CSP for specification, verification and simulation of multimedia synchronization. IEEE J. on Sel. Areas in Comm., 14:126\u2013137, 1996.","journal-title":"IEEE J. on Sel. Areas in Comm."},{"key":"4_CR14","unstructured":"R. German Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets. John Wiley & Sons, 2000."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"R. German, D. Logothe, and K.S. Trivedi. Transient analysis of Markov regenerative stochastic Petri nets: A comparison of approaches. Proc. 6th Int. Workshop on Petri Nets and Performance Models, pages 103\u2013112, IEEE CS Press, 1995.","DOI":"10.1109\/PNPM.1995.524320"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing 6: 512\u2013535, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s001650050034","volume":"11","author":"D. V. Hung","year":"1999","unstructured":"D. Van Hung and Z. Chaochen. Probabilistic duration calculus for continuous time. Formal Aspects of Computing, 11: 21\u201344, 1999.","journal-title":"Formal Aspects of Computing"},{"key":"4_CR18","unstructured":"V. Kulkarni. Modeling and Analysis of Stochastic Systems. Chapman & Hall, 1995."},{"key":"4_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-44618-4_11","volume-title":"Concurrency Theory","author":"M.Z. Kwiatkowska","year":"2000","unstructured":"M.Z. Kwiatkowska, G. Norman, R. Segala, and J. Sproston. Verifying quantitative properties of continuous probabilistic timed automata. In C. Palamadessi (ed), Concurrency Theory, LNCS 1877, pp. 123\u2013137, Springer, 2000."},{"issue":"3","key":"4_CR20","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1080\/00224065.1985.11978953","volume":"17","author":"W. Nelson","year":"1985","unstructured":"W. Nelson. Weibull analysis of reliability data with few or no failures. Journal of Quality Technology 17(3), 140\u2013146, 1985.","journal-title":"Journal of Quality Technology"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"A.D. Swain and H.E. Guttmann. Handbook of human reliability analysis with emphasis on nuclear power plant applications-final report. Technical Report NRC FIN A 1188 NUREG\/CR-1278 SAND80-0200, US Nuclear Regulatory Commission, 1983.","DOI":"10.2172\/5752058"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R.E. Tarjan","year":"1972","unstructured":"R.E. Tarjan. Depth-first search and linear graph algorithms. SIAM Journal of Computing, 1: 146\u2013160, 1972.","journal-title":"SIAM Journal of Computing"},{"key":"4_CR23","unstructured":"H. Taylor and S. Karlin. An Introduction To Stochastic Modeling. Academic Press, 1998."}],"container-title":["Lecture Notes in Computer Science","Process Algebra and Probabilistic Methods. Performance Modelling and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44804-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T10:59:21Z","timestamp":1556708361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44804-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425564","9783540448044"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-44804-7_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}