Fault trees on a diet: automated reduction by graph rewriting

London / Springer (2017) [Fachzeitschriftenartikel]

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

Authors

Selected Authors

Junges, Jan Sebastian Lukas
Guck, Dennis
Katoen, Joost-Pieter
Rensink, Arend
Stoelinga, Mariëlle

Identifier