Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler. Analysis of Multi-state Systems with Multi-state Components Using EVMDDs. In D. Michael Miller, Vincent C. Gaudet, editors, 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012. pages 122-127, IEEE, 2012. [doi]
Abstract is missing.