%0 Conference Paper %1 conf/cocoa/SuzukiIM18 %A Suzuki, Hirofumi %A Ishihata, Masakazu %A ichi Minato, Shin %B COCOA %D 2018 %E Kim, Donghyun %E Uma, R. N. %E Zelikovsky, Alexander %I Springer %K dblp %P 281-295 %T Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/cocoa/cocoa2018.html#SuzukiIM18 %V 11346 %@ 978-3-030-04651-4

@inproceedings{conf/cocoa/SuzukiIM18, added-at = {2019-10-19T00:00:00.000+0200}, author = {Suzuki, Hirofumi and Ishihata, Masakazu and ichi Minato, Shin}, biburl = {https://www.bibsonomy.org/bibtex/20d027891ae111e84310ad5a9282145e3/dblp}, booktitle = {COCOA}, crossref = {conf/cocoa/2018}, editor = {Kim, Donghyun and Uma, R. N. and Zelikovsky, Alexander}, ee = {https://doi.org/10.1007/978-3-030-04651-4_19}, interhash = {52b4182bed166beb52d2a56291f14cc0}, intrahash = {0d027891ae111e84310ad5a9282145e3}, isbn = {978-3-030-04651-4}, keywords = {dblp}, pages = {281-295}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T16:01:15.000+0200}, title = {Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/cocoa/cocoa2018.html#SuzukiIM18}, volume = 11346, year = 2018 }