@InProceedings{GLD:2010,
  author =  {Daniel Gro{\ss}e and Hoang M. Le and Rolf Drechsler},
  title = {Formal Verification of Abstract {SystemC} Models},
  booktitle = {Algorithms and Applications for Next Generation SAT Solvers},
  year =  {2010},
  editor =  {Bernd Becker and Valeria Bertacco and Rolf Drechsler and Masahiro Fujita},
  number =  {09461},
  series =  {Dagstuhl Seminar Proceedings}
}