@article{767283, recid = {767283}, author = {Xing, Liudong, and Amari, Suprasad V., and Richardson, Russell,}, title = {Binary decision diagrams and extensions for system reliability analysis /}, pages = {1 online resource (238 pages) :}, url = {http://library.usi.edu/record/767283}, }