- Titel:
Symbolic System Level Reliability Analysis
- Autor(en):
- Glaß, Michael; Lukasiewycz, Martin; Reimman, Felix; Haubelt, Christian; Teich, Jürgen
- Seitenangaben Beitrag:
- 185--189
- Kongress- / Buchtitel:
- Proceedings of the International Conference on Computer-Aided Design (ICCAD)
- Verlagsort:
- San Jose, USA
- Jahr:
- 2010
- BibTeX