Work

A fast BDD algorithm for large coherent fault trees analysis

FWCI: 6.392
Cites: 19
Cited by: 116
Related to: 10