Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -.

Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marille Stoelinga

Browse the full SETTA paper archive.