桂林理工大学学报
逻辑系统可靠性分析方法的应用＊
牛秦洲　陈有禹
桂林理工大学学报 . 1997, (4): 406 -411 .