Dong Liu, Weiyan Xing, Chunyuan Zhang, Rui Li, Haiyan Li. Cut Sequence Set Generation for Fault Tree Analysis. In Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence Tianruo Yang, Sung Won Kim, editors, Embedded Software and Systems, Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings. Volume 4523 of Lecture Notes in Computer Science, pages 592-603, Springer, 2007. [doi]
Abstract is missing.