Dong Liu, Chunyuan Zhang, Weiyan Xing, Rui Li, Haiyan Li. Quantification of Cut Sequence Set for Fault Tree Analysis. In Ronald H. Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes de Mello, Laurence Tianruo Yang, editors, High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings. Volume 4782 of Lecture Notes in Computer Science, pages 755-765, Springer, 2007. [doi]
Abstract is missing.