TY  - RPRT
TI  - BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
AU  - Daniel Basgöze
AU  - Matthias Volk
AU  - Joost-Pieter Katoen
AU  - Shahid Khan
AU  - Marielle Stoelinga
PY  - 2022
UR  - https://arxiv.org/abs/2202.02829
ID  - 2202.02829
ER  -