Fault trees on a diet: automated reduction by graph rewriting
London / Springer (2017) [Journal Article]
Formal aspects of computing
Volume: 29
Issue: 4
Page(s): 651-703
Authors
Authors
Junges, Sebastian
Guck, Dennis
Katoen, Joost-Pieter
Rensink, Arend
Stoelinga, Mariëlle
Identifier
- DOI: 10.1007/s00165-016-0412-0
- REPORT NUMBER: RWTH-2017-06687