@inproceedings{Fre2008,Author = {Freuer, Jan and Jerke, Göran and Gerlach, Joachim and Nebel, Wolfgang:},Title = {On the Verification of High-Order constraint compliance in IC-Design},Year = {2008},Month = {03},type = {inproceedings}}@COMMENT{Bibtex file generated on }