@inproceedings{Fre2006,Author = {Freuer, Jan and Jerke, G. and Schäfer, A. and Hahn, K. and Brück, R. and Nassaj, A. and Nebel, W.},Title = {Ein Verfahren zur Verifikation hochkomplexer Randbedingungen beim IC-Entwurf},Year = {2006},Month = {01},Booktitle = {Tagungsband der ANALOG 2006},type = {inproceedings}}@COMMENT{Bibtex file generated on }