Fault trees on a diet: automated reduction by graph rewriting

London / Springer (2017) [Fachzeitschriftenartikel]

Formal aspects of computing
Band: 29
Ausgabe: 4
Seite(n): 651-703

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern