V. Matuzas and S. Contini: Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis. (2015)journals/ress/MatuzasC1510.1016/J.RESS.2015.07.012Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis.2V. Matuzas1S. Contini2183-192Reliab. Eng. Syst. Saf.Reliab. Eng. Syst. Saf.1442015provenance information for RDF data of dblp record 'journals/ress/MatuzasC15'2020-02-25T08:58:57+0100