@STRING{glsvlsi	= {ACM Great Lakes Symposium on VLSI} }
@InProceedings{GGKD:2011b,
  author        = {Daniel Gro{\ss}e and M. Gro{\ss} and Ulrich K\"uhne and Rolf Drechsler},
  title         = {Simulation-based Equivalence Checking between {SystemC} Models at different Levels of Abstraction},
  booktitle     = glsvlsi,
  pages         = {223--228},
  year          = 2011
}