A BDD approach to dependability analysis of distributed computer systems with imperfect coverage

Authors
Zang, XY Sun, HR Trivedi, KS
Citation
Xy. Zang et al., A BDD approach to dependability analysis of distributed computer systems with imperfect coverage, KLUW ENGN C, 538, 2000, pp. 167-190
Categorie Soggetti
Current Book Contents
Journal title
DEPENDABLE NETWORK COMPUTING → ACNP
Volume
538
Year of publication
2000
Pages
167 - 190
Database
ISI
SICI code