@InProceedings{Wienand:CAV2008-473,
  author =       "Oliver Wienand and Markus Wedler and Gert-Martin
                 Greuel and Dominik Stoffel and Wolfgang Kunz",
  title =        "An algebraic approach for proving data correctness in
                 arithmetic data paths",
  pages =        "473--486",
  ee =           "http://dx.doi.org/10.1007/978-3-540-70545-1_45",
  booktitle =    "Computer Aided Verification (CAV 2008)",
  address =      "Princeton, NJ, USA",
  year =         "2008",
  month =        jul,
  series =       "Lecture Notes in Computer Science",
  volume =       "5123",
  publisher =    "Springer",
}