Wei Jiang, Siwei Zhou, Luyao Ye, Dongdong Zhao, Jing Tian, W. Eric Wong, Jianwen Xiang. An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree. In 5th International Conference on Dependable Systems and Their Applications, DSA 2018, Dalian, China, September 22-23, 2018. pages 44-51, IEEE, 2018. [doi]
@inproceedings{JiangZYZTWX18,
title = {An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree},
author = {Wei Jiang and Siwei Zhou and Luyao Ye and Dongdong Zhao and Jing Tian and W. Eric Wong and Jianwen Xiang},
year = {2018},
doi = {10.1109/DSA.2018.00018},
url = {https://doi.org/10.1109/DSA.2018.00018},
researchr = {https://researchr.org/publication/JiangZYZTWX18},
cites = {0},
citedby = {0},
pages = {44-51},
booktitle = {5th International Conference on Dependable Systems and Their Applications, DSA 2018, Dalian, China, September 22-23, 2018},
publisher = {IEEE},
isbn = {978-1-5386-9266-0},
}