%0 Book Section %1 rauzy2008binary %A Rauzy, Antoine %B Handbook of performability engineering %D 2008 %I Springer %K BDD Fault-Tree safety %P 381--396 %T Binary decision diagrams for reliability studies

@incollection{rauzy2008binary, added-at = {2020-03-26T16:29:12.000+0100}, author = {Rauzy, Antoine}, biburl = {https://www.bibsonomy.org/bibtex/275e99f4cd5536482e7e59e3f0cdd99de/maximeb}, booktitle = {Handbook of performability engineering}, interhash = {de31dede0fa9691b349e7cb8843b2f44}, intrahash = {75e99f4cd5536482e7e59e3f0cdd99de}, keywords = {BDD Fault-Tree safety}, pages = {381--396}, publisher = {Springer}, timestamp = {2020-03-26T16:29:12.000+0100}, title = {Binary decision diagrams for reliability studies}, year = 2008 }