%0 Conference Paper %1 conf/ismvl/NagayamaSBTM14 %A Nagayama, Shinobu %A Sasao, Tsutomu %A Butler, Jon T. %A Thornton, Mitchell A. %A Manikas, Theodore W. %B ISMVL %D 2014 %I IEEE Computer Society %K dblp %P 190-195 %T Analysis Methods of Multi-state Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/ismvl/ismvl2014.html#NagayamaSBTM14 %@ 978-1-4799-3534-5

@inproceedings{conf/ismvl/NagayamaSBTM14, added-at = {2023-03-23T00:00:00.000+0100}, author = {Nagayama, Shinobu and Sasao, Tsutomu and Butler, Jon T. and Thornton, Mitchell A. and Manikas, Theodore W.}, biburl = {https://www.bibsonomy.org/bibtex/2d163d1494c9239c27d353ac5cda11ab1/dblp}, booktitle = {ISMVL}, crossref = {conf/ismvl/2014}, ee = {https://www.wikidata.org/entity/Q62513163}, interhash = {18c1ec6079c2203e4354121aeca481be}, intrahash = {d163d1494c9239c27d353ac5cda11ab1}, isbn = {978-1-4799-3534-5}, keywords = {dblp}, pages = {190-195}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:17:02.000+0200}, title = {Analysis Methods of Multi-state Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2014.html#NagayamaSBTM14}, year = 2014 }