TY  - SER
AU  - Zang, Xinyu
TI  - A Bdd-Based Algorithm  for  Analysis of Multiscale Systems with Multistate Components
KW  - Binary Decision Diagtam
ER  -