@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 }