TY  - RPRT
TI  - One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
AU  - Sebastian Junges
AU  - Joost-Pieter Katoen
AU  - Marielle Stoelinga
AU  - Matthias Volk
PY  - 2018
DO  - 10.1007/978-3-319-91268-4_14
UR  - https://arxiv.org/abs/1803.05376
ID  - 1803.05376
ER  -