Fault trees on a diet: automated reduction by graph rewriting

Sebastian Junges, Dennis Guck, Joost P. Katoen, Arend Rensink, Mariëlle Stoelinga

    Research output: Contribution to journalArticleAcademicpeer-review

    9 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Fault trees on a diet: automated reduction by graph rewriting'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science