Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, Theodore W. Manikas. On Optimizations of Edge-Valued MDDs for Fast Analysis of Multi-State Systems. IEICE Transactions, 97-D(9):2234-2242, 2014. [doi]
@article{NagayamaSBTM14-0,
title = {On Optimizations of Edge-Valued MDDs for Fast Analysis of Multi-State Systems},
author = {Shinobu Nagayama and Tsutomu Sasao and Jon T. Butler and Mitchell A. Thornton and Theodore W. Manikas},
year = {2014},
url = {http://search.ieice.org/bin/summary.php?id=e97-d_9_2234},
researchr = {https://researchr.org/publication/NagayamaSBTM14-0},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {97-D},
number = {9},
pages = {2234-2242},
}