- Title:
Symbolic System Level Reliability Analysis
- Author(s):
- Glaß, Michael; Lukasiewycz, Martin; Reimman, Felix; Haubelt, Christian; Teich, Jürgen
- Pages contribution:
- 185--189
- Book / Congress title:
- Proceedings of the International Conference on Computer-Aided Design (ICCAD)
- Publisher address:
- San Jose, USA
- Year:
- 2010
- BibTeX