{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:31:04Z","timestamp":1743111064820,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642275784"},{"type":"electronic","value":"9783642275791"}],"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-27579-1_41","type":"book-chapter","created":{"date-parts":[[2012,2,1]],"date-time":"2012-02-01T01:30:02Z","timestamp":1328059802000},"page":"319-326","source":"Crossref","is-referenced-by-count":0,"title":["Performance Analysis of Error-Correcting Binary Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Helena","family":"Astola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stanislav","family":"Stankovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaakko T.","family":"Astola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1109\/T-C.1974.224016","volume":"23","author":"J. Abraham","year":"1974","unstructured":"Abraham, J., Siewiorek, D.: An algorithm for the accurate reliability evaluation of triple modular redundancy networks. IEEE Transactions on Computers\u00a023, 682\u2013692 (1974)","journal-title":"IEEE Transactions on Computers"},{"issue":"6","key":"41_CR2","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"C-27","author":"S.B. Akers","year":"1978","unstructured":"Akers, S.B.: Binary decision diagrams. IEEE Trans. Computers\u00a0C-27(6), 509\u2013516 (1978)","journal-title":"IEEE Trans. Computers"},{"key":"41_CR3","unstructured":"Astola, H., Stankovi\u0107, S., Astola, J.T.: Error correcting decision diagrams. In: Proceedings of The Third Workshop on Information Theoretic Methods in Science and Engineering, Tampere, Finland, August 16-18 (2010)"},{"key":"41_CR4","volume-title":"Fundamentals of Switching Theory and Logic Design","author":"J.T. Astola","year":"2006","unstructured":"Astola, J.T., Stankovi\u0107, R.S.: Fundamentals of Switching Theory and Logic Design. Springer, Heidelberg (2006)"},{"issue":"8","key":"41_CR5","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean functions manipulation. IEEE Trans. Computers\u00a0C-35(8), 667\u2013691 (1986)","journal-title":"IEEE Trans. Computers"},{"key":"41_CR6","first-page":"91","volume-title":"Representation of Discrete Functions","author":"E.M. Clarke","year":"1997","unstructured":"Clarke, E.M., Fujita, M., Zhao, X.: Multi-terminal decision diagrams and hybrid decision diagrams. In: Sasao, T., Fujita, M. (eds.) Representation of Discrete Functions, pp. 91\u2013108. Kluwer, Dordrecht (1997)"},{"key":"41_CR7","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/TC.1986.1676803","volume":"35","author":"W. Gils van","year":"1986","unstructured":"van Gils, W.: A triple modular redundancy technique providing multiple-bit error protection without using extra redundancy. IEEE Transactions on Computers\u00a035, 623\u2013631 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"41_CR8","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1109\/TC.1986.1676767","volume":"35","author":"T. Krol","year":"1986","unstructured":"Krol, T.: (N, K) concept fault tolerance. IEEE Trans. Comput.\u00a035, 339\u2013349 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"41_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07998-0","volume-title":"Introduction to Coding Theory","author":"J.H. Lint van","year":"1982","unstructured":"van Lint, J.H.: Introduction to Coding Theory. Springer, New York (1982)"},{"key":"41_CR10","volume-title":"The Theory of Error-Correcting Codes","author":"F.J. MacWilliams","year":"1997","unstructured":"MacWilliams, F.J., Sloane, N.J.A.: The Theory of Error-Correcting Codes. North-Holland, Amsterdam (1997)"},{"key":"41_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-79779-8","volume-title":"Multiple Valued Logic: Concepts and Representations","author":"D.M. Miller","year":"2008","unstructured":"Miller, D.M., Thornton, M.A.: Multiple Valued Logic: Concepts and Representations. Morgan & Claypool, San Francisco (2008)"},{"key":"41_CR12","first-page":"43","volume-title":"Automata Studies","author":"J. Neumann von","year":"1956","unstructured":"von Neumann, J.: Probabilistic logics and synthesis of reliable organisms from unreliable components. In: Shannon, C., McCarthy, J. (eds.) Automata Studies, pp. 43\u201398. Princeton University Press, Princeton (1956)"},{"issue":"11","key":"41_CR13","doi-asserted-by":"publisher","first-page":"1328","DOI":"10.1109\/43.469660","volume":"CAD-14","author":"M.A. Thornton","year":"1995","unstructured":"Thornton, M.A., Nair, V.S.S.: Efficient calculation of spectral coefficients and their applications. IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems\u00a0CAD-14(11), 1328\u20131341 (1995)","journal-title":"IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27579-1_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,14]],"date-time":"2023-06-14T06:15:41Z","timestamp":1686723341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27579-1_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642275784","9783642275791"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27579-1_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}