{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T07:51:12Z","timestamp":1767772272815},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642285394"},{"type":"electronic","value":"9783642285400"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28540-0_3","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T09:48:22Z","timestamp":1331200102000},"page":"31-45","source":"Crossref","is-referenced-by-count":3,"title":["Bounds for Two-Terminal Network Reliability with Dependent Basic Events"],"prefix":"10.1007","author":[{"given":"Minh","family":"L\u00ea","sequence":"first","affiliation":[]},{"given":"Max","family":"Walter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1002\/net.3230130107","volume":"13","author":"A. Satyanarayana","year":"1983","unstructured":"Satyanarayana, A., Chang, M.K.: Network reliability and the factoring theorem. Networks\u00a013(1), 107\u2013120 (1983)","journal-title":"Networks"},{"unstructured":"Tanguy, C.: Asymptotic mean time to failure and higher moments for large, recursive networks. In: CoRR (2008)","key":"3_CR2"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1109\/24.326428","volume":"43","author":"D. Torrieri","year":"1994","unstructured":"Torrieri, D.: Calculation of node-pair reliability in large networks with unreliable nodes. IEEE Trans. Reliability\u00a043(3), 375\u2013377 (1994)","journal-title":"IEEE Trans. Reliability"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1109\/24.799845","volume":"48","author":"F.M. Yeh","year":"1999","unstructured":"Yeh, F.M., Lu, S.K., Kuo, S.Y.: Determining terminal-pair reliability based on edge expansion diagrams using obdd. IEEE Trans. Reliability\u00a048(3), 234\u2013246 (1999)","journal-title":"IEEE Trans. Reliability"},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/TR.2007.898572","volume":"56","author":"G. Hardy","year":"2007","unstructured":"Hardy, G., Lucet, C., Limnios, N.: K terminal network reliability measures with binary decision diagrams. IEEE Trans. Reliability\u00a056(3), 506\u2013515 (2007)","journal-title":"IEEE Trans. Reliability"},{"issue":"25","key":"3_CR6","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"issue":"1-2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.P.: Process algebra for performance evaluation. Theoretical Computer Science Archive\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoretical Computer Science Archive"},{"unstructured":"Dugan, J.B., Venkataraman, B., Gulati, R.: Diftree: a software package for the analysis of dynamic fault tree models. In: RAMS (1997)","key":"3_CR8"},{"unstructured":"Sullivan, K.J., Coppit, D.: Galileo: A tool built from mass-market applications. In: ICSE (2000)","key":"3_CR9"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1002\/net.3230150204","volume":"15","author":"K. Wood","year":"1985","unstructured":"Wood, K.: A factoring algorithm using polygon-to-chain reductions for computing k-terminal network reliability. Networks\u00a015(2), 173\u2013190 (1985)","journal-title":"Networks"},{"unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. John Wiley & Sons (1995)","key":"3_CR11"},{"doi-asserted-by":"crossref","unstructured":"Kuntz, M., Siegle, M., Werner, E.: Caspa - a tool for symbolic performance and dependability evaluation. In: EPEW (FORTE Co-located Workshop), pp. 293\u2013307 (2004)","key":"3_CR12","DOI":"10.1007\/978-3-540-30233-9_22"},{"doi-asserted-by":"crossref","unstructured":"L\u00ea, M., Walter, M.: Considering dependent components in the terminal pair reliability problem. In: DYADEM-FTS 2011, pp. 415\u2013422 (2011)","key":"3_CR13","DOI":"10.1109\/ARES.2011.91"},{"issue":"3","key":"3_CR14","first-page":"393","volume":"222","author":"M. Pock","year":"2008","unstructured":"Pock, M., Walter, M.: Efficient extraction of the structure formula from reliability block diagrams with dependent basic events. Journal of Risk and Reliability\u00a0222(3), 393\u2013402 (2008)","journal-title":"Journal of Risk and Reliability"},{"doi-asserted-by":"crossref","unstructured":"Walter, M., Gouberman, A., Riedl, M., Schuster, J., Siegle, M.: LARES - A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems. In: ESREL (2009)","key":"3_CR15","DOI":"10.1201\/9780203859759.ch22"},{"unstructured":"Walter, M., Esch, S., Limbourg, P.: A copula-based approach for dependability analyses of fault-tolerant systems with interdependent basic events. In: ESREL, pp. 1705\u20131714 (2008)","key":"3_CR16"},{"issue":"2","key":"3_CR17","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1109\/24.257782","volume":"41","author":"N. Deo","year":"1992","unstructured":"Deo, N., Medidi, M.: Parallel algorithms for terminal pair reliability. IEEE Trans. Reliability\u00a041(2), 201\u2013209 (1992)","journal-title":"IEEE Trans. Reliability"},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/24.87131","volume":"40","author":"O.R. Theologou","year":"1991","unstructured":"Theologou, O.R., Carlier, J.G.: Factoring and reductions for networks with imperfect vertices. IEEE Trans. Reliability\u00a040(2), 210\u2013217 (1991)","journal-title":"IEEE Trans. Reliability"},{"key":"3_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3076-0","volume-title":"An Introduction to Copulas","author":"R.B. Nelsen","year":"1999","unstructured":"Nelsen, R.B.: An Introduction to Copulas. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Sahner, R., Trivedi, K., Puliafito, A.: Performance and Reliability Analysis of Computer Systems. Kluwer Academic Publishers (1996)","key":"3_CR20","DOI":"10.1007\/978-1-4615-2367-3"},{"key":"3_CR21","first-page":"281","volume":"1","author":"S.J. Hsu","year":"1998","unstructured":"Hsu, S.J., Yuang, M.C.: Efficient computation of terminal-pair reliability using triangle reduction in network management. ICC on Communications\u00a01, 281\u2013285 (1998)","journal-title":"ICC on Communications"},{"issue":"10","key":"3_CR22","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1109\/TCS.1979.1084573","volume":"26","author":"W.P. Dotson","year":"1979","unstructured":"Dotson, W.P., Gobein, J.: A new analysis technique for probabilistic graphs. IEEE Trans. Circuit & Systems\u00a026(10), 855\u2013865 (1979)","journal-title":"IEEE Trans. Circuit & Systems"},{"issue":"3","key":"3_CR23","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/24.536994","volume":"45","author":"Y.G. Chen","year":"1996","unstructured":"Chen, Y.G., Yuang, M.C.: A cut-based method for terminal-pair reliability. IEEE Trans. Reliability\u00a045(3), 413\u2013416 (1996)","journal-title":"IEEE Trans. Reliability"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28540-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:09:30Z","timestamp":1556442570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28540-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642285394","9783642285400"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28540-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}