TY  - RPRT
TI  - Advancing Dynamic Fault Tree Analysis
AU  - Matthias Volk
AU  - Sebastian Junges
AU  - Joost-Pieter Katoen
PY  - 2016
DO  - 10.1007/978-3-319-45477-1_20
UR  - https://arxiv.org/abs/1604.07474
ID  - 1604.07474
ER  -