{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T07:28:27Z","timestamp":1763105307802,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/dsn.2012.6263935","type":"proceedings-article","created":{"date-parts":[[2012,8,16]],"date-time":"2012-08-16T20:04:08Z","timestamp":1345147448000},"page":"1-12","source":"Crossref","is-referenced-by-count":7,"title":["A new symbolic approach for network reliability analysis"],"prefix":"10.1109","author":[{"given":"Marco","family":"Beccuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Bobbio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberta","family":"Terruggia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(93)90060-C"},{"key":"22","article-title":"A BDD-based algorithm for reliability graph analysis","author":"zang","year":"2000","journal-title":"Technical Report Department of Electrical Engineering"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1080\/00107510500052444"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/24.3752"},{"journal-title":"MEDDLY","year":"0","key":"15"},{"key":"16","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/s100090100038","article-title":"Zero-suppressed BDDs and their applications","volume":"3","author":"minato","year":"2001","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45732-1_9"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/24.690911"},{"key":"11","article-title":"Computing all-terminal reliability of stochastic networks by binary decision diagrams","author":"hardy","year":"2005","journal-title":"Proceedings Applied Stochastic Modeling and Data Analysis"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2007.898572"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1990.93949"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2003.816403"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/24.3711"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1287\/opre.32.3.478"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1979.5220476"},{"journal-title":"On Random Graphs I","year":"1959","author":"erdos","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2009.4914643"},{"journal-title":"A New Symbolic Approach for Network Reliability Analysis","year":"2011","author":"beccuti","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1986.4335422"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2006.884595"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"}],"event":{"name":"2012 42nd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)","start":{"date-parts":[[2012,6,25]]},"location":"Boston, MA, USA","end":{"date-parts":[[2012,6,28]]}},"container-title":["IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6253623\/6263904\/06263935.pdf?arnumber=6263935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,12]],"date-time":"2020-07-12T17:00:25Z","timestamp":1594573225000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6263935\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/dsn.2012.6263935","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}