This paper discusses some of the difficulties in the paper: "A BDD-based algorithm for reliability analysis of phased-mission systems" by X. Zang, H. Sun, and K. S. Trivedi.
Published in:
Reliability, IEEE Transactions on
(Volume:53
,
Issue:
2
)
Date of Publication: June 2004