@inproceedings{Hä2008,
Author = {Häusler, Stefan and Poppen, Frank and Hausmann, Kevin and Nebel, Wolfgang and Hahn, Axel},
Title = {Qualitative and Quantitative Analysis of IC Designs},

Year = {2008},
Month = {01},
Booktitle = {Proceedings of the Design, Automation, and Test in Europe Conference},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }