Fault trees on a diet: automated reduction by graph rewriting
Crossref DOI link: https://doi.org/10.1007/s00165-016-0412-0
Published Print: 2017-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Junges, Sebastian http://orcid.org/0000-0003-0978-8466
Guck, Dennis
Katoen, Joost-Pieter
Rensink, Arend
Stoelinga, Mariƫlle
Funding for this research was provided by:
STW-ProRail (12238)
CDZ (GZ 1023)
EU FP7 (318490)
EU FP7 (318003)
License valid from 2017-07-01