@STRING{glsvlsi	= {ACM Great Lakes Symposium on VLSI} }
@inproceedings{GED:2007,
  author    = {Daniel Gro{\ss}e and R\"udiger Ebendt and Rolf Drechsler},
  title     = {Improvements for constraint solving in the {SystemC} verification library},
  booktitle = glsvlsi,
  year      = {2007},
  pages     = {493--496}
}