Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge
Journal
Applied Mathematics and Computation
Journal Volume
217
Journal Issue
1
Pages
403-413
Date Issued
2010
Author(s)
Type
journal article