Chang, Y.-R.Y.-R.ChangHuang, C.-Y.C.-Y.HuangSY-YEN KUO2020-06-112020-06-112010https://scholars.lib.ntu.edu.tw/handle/123456789/500846Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive mergejournal article10.1016/j.amc.2010.05.0752-s2.0-77955430774https://www.scopus.com/inward/record.uri?eid=2-s2.0-77955430774&doi=10.1016%2fj.amc.2010.05.075&partnerID=40&md5=6991e864bf8ab3c536c6b08e7a6092a3