[IEEE 2012 IEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL) - Victoria, BC (2012.05.14-2012.05.16)] 2012 IEEE 42nd International Symposium on Multiple-Valued Logic - Analysis of Multi-state Systems with Multi-state Components Using EVMDDs
Nagayama, S.; Sasao, T.; Butler, J. T.
- 作者Nagayama, S.; Sasao, T.; Butler, J. T.
- 文件大小179.74KB
- 发表时间2012
- DOI10.1109/ISMVL.2012.28
- 页码122-127