@STRING{charme	= {Correct Hardware Design and Verification Methods} }
@InProceedings{GD:2005c,
  language      = {USenglish},
  author        = {Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Acceleration of {SAT}-based Iterative Property Checking},
  booktitle     = charme,
  year          = 2005,
  pages =       {349--353}
}