{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T04:09:07Z","timestamp":1748232547404},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672609"},{"type":"electronic","value":"9783540464297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46429-8_28","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:52:33Z","timestamp":1192891953000},"page":"345-349","source":"Crossref","is-referenced-by-count":30,"title":["Reliability and Performability Modeling Using SHARPE 2000"],"prefix":"10.1007","author":[{"given":"C.","family":"Hirel","sequence":"first","affiliation":[]},{"given":"R.","family":"Sahner","sequence":"additional","affiliation":[]},{"given":"X.","family":"Zang","sequence":"additional","affiliation":[]},{"given":"K.","family":"Trivedi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"unstructured":"Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Sciences Applications. Prentice-Hall, INC., Englewwood Cliffs, New Jersey.","key":"28_CR1"},{"unstructured":"Gunter Bolch et al. Queueing Networks and Markov Chains Modeling and Performance Evaluation with Computer Science Applications. John Wiley and Sons, New York.","key":"28_CR2"},{"doi-asserted-by":"crossref","unstructured":"Robin A. Sahner et al. Performance and Reliability Analysis of Computer Systems. Kluwer Academic Press, 1996","key":"28_CR3","DOI":"10.1007\/978-1-4615-2367-3"},{"unstructured":"R. A. Sahner. A Hybrid Combinatorial-Markov Method of Solving Performance and Reliability Models. Phd\u2019s thesis: Dept. of Comp. Sc., Duke Univ., Dec. 1985","key":"28_CR4"},{"doi-asserted-by":"crossref","unstructured":"M. Veeraraghavan and K.S. Trivedi. An Improved Algorithm for Symbolic Reliability Analysis. IEEE Trans. on Reliability, Vol. 40, No. 3, August 1991.","key":"28_CR5","DOI":"10.1109\/24.85455"},{"unstructured":"J. Muppala and K.S. Trivedi. Numerical Transient Solution of Finite Markovian Queueing Systems. Queueing and Related Models, U. Bhat and I. Basawa (ed.), Oxford University Press, 1992.","key":"28_CR6"},{"doi-asserted-by":"crossref","unstructured":"Hairong Sun et al. A BDD-based Algorithm for Reliability Analysis of Phased-Mission Systems. IEEE Transactions on Reliability, Vol. 48, No. 1, March 1999.","key":"28_CR7","DOI":"10.1109\/24.765927"},{"key":"28_CR8","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/S0166-5316(96)90049-8","volume":"27","author":"P. Heidelberger","year":"1996","unstructured":"P. Heidelberger et al. Accelerating Mean Time to Failure Computations. Performance Evaluation, Vol. 27 & 28, October 1996, North-Holland, pp. 627\u2013645.","journal-title":"Performance Evaluation"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation.Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46429-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:04:19Z","timestamp":1556921059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46429-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672609","9783540464297"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-46429-8_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}