Bingfeng Xu, Zhiqiu Huang, Jun Hu, Ou Wei, Yu Zhou. Minimal cut sequence generation for state/event fault trees. In Anders Andersen, Chang Xu, editors, Proceedings of the 2013 Middleware Doctoral Symposium, MDS 2013, Beijing, China, December 9-13, 2013. ACM, 2013. [doi]
Abstract is missing.