%0 Journal Article %1 journals/corr/abs-2202-02829 %A Basgöze, Daniel %A Volk, Matthias %A Katoen, Joost-Pieter %A Khan, Shahid %A Stoelinga, Mariëlle %D 2022 %J CoRR %K dblp %T BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. %U http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-02829 %V abs/2202.02829

@article{journals/corr/abs-2202-02829, added-at = {2022-02-09T00:00:00.000+0100}, author = {Basgöze, Daniel and Volk, Matthias and Katoen, Joost-Pieter and Khan, Shahid and Stoelinga, Mariëlle}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c97ebf6633ac88a5786c5c41ccb86948/dblp}, ee = {https://arxiv.org/abs/2202.02829}, interhash = {180d457a7360fecd82721b95266dfec7}, intrahash = {c97ebf6633ac88a5786c5c41ccb86948}, journal = {CoRR}, keywords = {dblp}, timestamp = {2022-03-01T06:40:43.000+0100}, title = {BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-02829}, volume = {abs/2202.02829}, year = 2022 }