Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry.
Author(s)
Ali El-Zein
,
Luis A. Lastras-Monta~no
,
Alexey Lvov
,
Viresh Paruthi
,
Robert Shadowen
,
Barry M. Trager
Type
Article in Journal
ISSN
0925-9856; 1572-8102/e
URL
http://link.springer.com/article/10.1007%2Fs10703-014-0206-z
Language
English
Journal
Form. Methods Syst. Des.
Volume
45
Number
2
Pages
189--212
Publisher
Springer US, New York, NY
Year
2014
Edition
0
Translation
No
Refereed
No
Webmaster