Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
An algebraic approach for proving data correctness in arithmetic data paths.
Author(s)
Gert-Martin Greuel
,
Wolfgang Kunz
,
Dominik Stoffel
,
Markus Wedler
,
Oliver Wienand
Type
Book, Chapter in Book, Conference Proceeding
Abstract
ISBN
978-3-540-70543-7/pbk
URL
http://link.springer.com/chapter/10.1007%2F978-3-540-70545-1_45
Language
English
Pages
473--486
Publisher
Berlin: Springer
Year
2008
Edition
0
Translation
No
Refereed
No
Webmaster