Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'.

Liudong Xing Joanne Bechta Dugan Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'. 169-173 2004 53 IEEE Transactions on Reliability 2 http://dx.doi.org/10.1109/TR.2004.829136 db/journals/tr/tr53.html#XingD04