Zang, Xinyu <br/><br/>
A Bdd-Based Algorithm  for  Analysis of Multiscale Systems with Multistate Components 

 - 1608-1618 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Binary Decision Diagtam