Publication

[VolkJK16] Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates Volk, M.; Junges, S. and Katoen, J.-P. In SAFECOMP, pages 253-265, LNCS 9922, 2016.Downloads: bib