Author:
Astola Helena,Stanković Stanislav,Astola Jaakko T.
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Abraham, J., Siewiorek, D.: An algorithm for the accurate reliability evaluation of triple modular redundancy networks. IEEE Transactions on Computers 23, 682–692 (1974)
2. Akers, S.B.: Binary decision diagrams. IEEE Trans. Computers C-27(6), 509–516 (1978)
3. Astola, H., Stanković, 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)
4. Astola, J.T., Stanković, R.S.: Fundamentals of Switching Theory and Logic Design. Springer, Heidelberg (2006)
5. Bryant, R.E.: Graph-based algorithms for Boolean functions manipulation. IEEE Trans. Computers C-35(8), 667–691 (1986)