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