Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, Theodore W. Manikas. Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state Systems. In 2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015. pages 170-175, IEEE, 2015. [doi]
@inproceedings{NagayamaSBTM15,
title = {Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state Systems},
author = {Shinobu Nagayama and Tsutomu Sasao and Jon T. Butler and Mitchell A. Thornton and Theodore W. Manikas},
year = {2015},
doi = {10.1109/ISMVL.2015.22},
url = {http://dx.doi.org/10.1109/ISMVL.2015.22},
researchr = {https://researchr.org/publication/NagayamaSBTM15},
cites = {0},
citedby = {0},
pages = {170-175},
booktitle = {2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015},
publisher = {IEEE},
isbn = {978-1-4799-1777-8},
}