TY  - RPRT
TI  - Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking
AU  - Yassmeen Elderhalli
AU  - Osman Hasan
AU  - Waqar Ahmad
AU  - Sofiene Tahar
PY  - 2017
UR  - https://arxiv.org/abs/1712.02872
ID  - 1712.02872
ER  -