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