![[IEEE 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL) - Waterloo, ON, Canada (2015.5.18-2015.5.20)] 2015 IEEE International Symposium on Multiple-Valued Logic - Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state Systems]()
[IEEE 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL) - Waterloo, ON, Canada (2015.5.18-2015.5.20)] 2015 IEEE International Symposium on Multiple-Valued Logic - Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state SystemsNagayama, Shinobu; Sasao, Tsutomu; Butler, Jon T.; Thornton, Mitchell A.; Manikas, Theodore W. · 2015