Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

    
TitleAn algebraic approach for proving data correctness in arithmetic data paths.
Author(s) Gert-Martin Greuel, Wolfgang Kunz, Dominik Stoffel, Markus Wedler, Oliver Wienand
TypeBook, Chapter in Book, Conference Proceeding
Abstract
ISBN978-3-540-70543-7/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-540-70545-1_45
LanguageEnglish
Pages473--486
PublisherBerlin: Springer
Year2008
Edition0
Translation No
Refereed No
Webmaster