Mrena M, Kvassay M. Application of Binary Decision Diagrams in Time-Dependent Reliability Analysis. IJC [Internet]. 2024Oct.11 [cited 2024Nov.23];23(3):360-7. Available from: https://computingonline.net/computing/article/view/3654