Fault trees on a diet: automated reduction by graph rewriting

Junges, Sebastian (Corresponding author); Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle

London / Springer (2017) [Journal Article]

Formal aspects of computing
Volume: 29
Issue: 4
Page(s): 651-703